Metric interval temporal logic

http://dbpedia.org/resource/Metric_interval_temporal_logic

In model checking, the Metric Interval Temporal Logic (MITL) is a fragment of Metric Temporal Logic (MTL). This fragment is often preferred to MTL because some problems that are undecidable for MTL become decidable for MITL. rdf:langString

rdfs:label

rdf:langString Metric interval temporal logic

dbpedia-owl:wikiPageID

xsd:integer 60151482

dbpedia-owl:wikiPageRevisionID

xsd:integer 1122211880

dbpedia-owl:abstract

rdf:langString In model checking, the Metric Interval Temporal Logic (MITL) is a fragment of Metric Temporal Logic (MTL). This fragment is often preferred to MTL because some problems that are undecidable for MTL become decidable for MITL.

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 8529

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/PSPACE-complete>

<http://dbpedia.org/resource/Model_checking>

<http://dbpedia.org/resource/Metric_temporal_logic>

<http://dbpedia.org/resource/Undecidable_problem>

<http://dbpedia.org/resource/Signal_(model_checking)>

<http://dbpedia.org/resource/Signal_automaton>

<http://dbpedia.org/resource/Metric_Temporal_Logic>

<http://dbpedia.org/resource/Timed_automaton>

<http://dbpedia.org/resource/Decidable_problem>