Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Markov_Reward_Model_Checker> ?p ?o }
Showing triples 1 to 60 of
60
with 100 triples 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 wikiPageLength "6520".
- Markov_Reward_Model_Checker wikiPageOutDegree "23".
- Markov_Reward_Model_Checker wikiPageRevisionID "578428264".
- Markov_Reward_Model_Checker wikiPageWikiLink C_(programming_language).
- Markov_Reward_Model_Checker wikiPageWikiLink Category:Model_checkers.
- Markov_Reward_Model_Checker wikiPageWikiLink Cygwin.
- Markov_Reward_Model_Checker wikiPageWikiLink File:Mrmc_arch.jpg.
- Markov_Reward_Model_Checker wikiPageWikiLink GNU_General_Public_License.
- Markov_Reward_Model_Checker wikiPageWikiLink Germany.
- Markov_Reward_Model_Checker wikiPageWikiLink Joost-Pieter_Katoen.
- Markov_Reward_Model_Checker wikiPageWikiLink Linux.
- Markov_Reward_Model_Checker wikiPageWikiLink Markov_reward_model.
- Markov_Reward_Model_Checker wikiPageWikiLink Microsoft_Windows.
- Markov_Reward_Model_Checker wikiPageWikiLink Model_checking.
- Markov_Reward_Model_Checker wikiPageWikiLink Netherlands.
- Markov_Reward_Model_Checker wikiPageWikiLink OS_X.
- Markov_Reward_Model_Checker wikiPageWikiLink Probabilistic_CTL.
- Markov_Reward_Model_Checker wikiPageWikiLink RWTH_Aachen_University.
- Markov_Reward_Model_Checker wikiPageWikiLink Sparse_matrix.
- Markov_Reward_Model_Checker wikiPageWikiLink University_of_Twente.
- Markov_Reward_Model_Checker wikiPageWikiLink File:Mrmc_cmd.jpg.
- Markov_Reward_Model_Checker wikiPageWikiLinkText "Markov Reward Model Checker".
- Markov_Reward_Model_Checker subject Category:Model_checkers.
- Markov_Reward_Model_Checker hypernym Checker.
- Markov_Reward_Model_Checker type Software.
- Markov_Reward_Model_Checker type Tool.
- 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 Q6771318.
- Markov_Reward_Model_Checker sameAs m.0266s7j.
- Markov_Reward_Model_Checker sameAs Q6771318.
- 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.