Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Markov_Reward_Model_Checker> ?p ?o. }
Showing items 1 to 52 of
52
with 100 items per page.
- Markov_Reward_Model_Checker abstract "The Markov Reward Model Checker (MRMC)[1] is a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL (PRCTL and CSRL), and allows for the automated verification of properties concerning long-run and instantaneous rewards as well as cumulative rewards. In particular, it supports to check the reachability of a set of goal states (by only visiting legal states before) under a time and an accumulated reward constraint.MRMC has been developed by the Formal Methods & Tools (FMT) group at the University of Twente, The Netherlands and the Software Modeling and Verification (MOVES) group at RWTH Aachen University, Germany under the guidance of Prof. Dr. Ir. Joost-Pieter Katoen.An example snapshot of the tool usage is provided on the right.".
- Markov_Reward_Model_Checker thumbnail Mrmc_cmd.jpg?width=300.
- Markov_Reward_Model_Checker wikiPageExternalLink fmt.cs.utwente.nl.
- Markov_Reward_Model_Checker wikiPageExternalLink vesta2.
- Markov_Reward_Model_Checker wikiPageExternalLink www-i2.informatik.rwth-aachen.de.
- Markov_Reward_Model_Checker wikiPageExternalLink ~oldenkampha.
- Markov_Reward_Model_Checker wikiPageExternalLink www.mrmc-tool.org.
- Markov_Reward_Model_Checker wikiPageExternalLink downloads.php.
- Markov_Reward_Model_Checker wikiPageExternalLink AndovaHK_FORMATS03.bib.
- Markov_Reward_Model_Checker wikiPageExternalLink BaierHHK_ICALP00.bib.
- Markov_Reward_Model_Checker wikiPageExternalLink BaierHHK_TSE03.bib.
- Markov_Reward_Model_Checker wikiPageExternalLink ClothKKP_DSN05.bib.
- Markov_Reward_Model_Checker wikiPageExternalLink HaverkortCHKB_DSN02.bib.
- Markov_Reward_Model_Checker wikiPageExternalLink HermansKMS_IJSTTT03.bib.
- Markov_Reward_Model_Checker wikiPageExternalLink KatoenKZJ_TACAS07.bib.
- Markov_Reward_Model_Checker wikiPageExternalLink KatoenZ_QEST06.bib.
- Markov_Reward_Model_Checker wikiPageExternalLink QureshiS_ISFTC96.bib.
- Markov_Reward_Model_Checker wikiPageExternalLink TijmsV_99.bib.
- Markov_Reward_Model_Checker wikiPageExternalLink trac.
- Markov_Reward_Model_Checker wikiPageExternalLink News.
- Markov_Reward_Model_Checker wikiPageExternalLink www.prismmodelchecker.org.
- Markov_Reward_Model_Checker wikiPageExternalLink download.php.
- Markov_Reward_Model_Checker wikiPageExternalLink ExportingTheModel.
- Markov_Reward_Model_Checker wikiPageExternalLink ymer.
- Markov_Reward_Model_Checker wikiPageExternalLink etmcc.
- Markov_Reward_Model_Checker wikiPageID "7613696".
- Markov_Reward_Model_Checker wikiPageRevisionID "578428264".
- Markov_Reward_Model_Checker hasPhotoCollection Markov_Reward_Model_Checker.
- Markov_Reward_Model_Checker subject Category:Model_checkers.
- Markov_Reward_Model_Checker type Assistant109815790.
- Markov_Reward_Model_Checker type Attendant109821831.
- Markov_Reward_Model_Checker type CausalAgent100007347.
- Markov_Reward_Model_Checker type Checker109913110.
- Markov_Reward_Model_Checker type LivingThing100004258.
- Markov_Reward_Model_Checker type ModelCheckers.
- Markov_Reward_Model_Checker type Object100002684.
- Markov_Reward_Model_Checker type Organism100004475.
- Markov_Reward_Model_Checker type Person100007846.
- Markov_Reward_Model_Checker type PhysicalEntity100001930.
- Markov_Reward_Model_Checker type Whole100003553.
- Markov_Reward_Model_Checker type Worker109632518.
- Markov_Reward_Model_Checker type YagoLegalActor.
- Markov_Reward_Model_Checker type YagoLegalActorGeo.
- Markov_Reward_Model_Checker comment "The Markov Reward Model Checker (MRMC)[1] is a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL (PRCTL and CSRL), and allows for the automated verification of properties concerning long-run and instantaneous rewards as well as cumulative rewards.".
- Markov_Reward_Model_Checker label "Markov Reward Model Checker".
- Markov_Reward_Model_Checker sameAs m.0266s7j.
- Markov_Reward_Model_Checker sameAs Q6771318.
- Markov_Reward_Model_Checker sameAs Q6771318.
- Markov_Reward_Model_Checker sameAs Markov_Reward_Model_Checker.
- Markov_Reward_Model_Checker wasDerivedFrom Markov_Reward_Model_Checker?oldid=578428264.
- Markov_Reward_Model_Checker depiction Mrmc_cmd.jpg.
- Markov_Reward_Model_Checker isPrimaryTopicOf Markov_Reward_Model_Checker.
