Matches in SemOpenAlex for { <https://semopenalex.org/work/W3014150900> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W3014150900 endingPage "17" @default.
- W3014150900 startingPage "5" @default.
- W3014150900 abstract "Parametric timed automata extend timed automata (Alur and Dill, 1991) in that they allow the specification of parametric bounds on the clock values. Since their introduction in 1993 by Alur, Henzinger, and Vardi, it is known that the emptiness problem for parametric timed automata with one clock is decidable, whereas it is undecidable if the automaton uses three or more parametric clocks. The problem is open for parametric timed automata with two parametric clocks. Metric temporal logic, MTL for short, is a widely used specification language for real-time systems. MTL-model checking of timed automata is decidable, no matter how many clocks are used in the timed automaton. In this paper, we prove that MTL-model checking for parametric timed automata is undecidable, even if the automaton uses only one clock and one parameter and is deterministic." @default.
- W3014150900 created "2020-04-10" @default.
- W3014150900 creator A5066136949 @default.
- W3014150900 date "2014-03-01" @default.
- W3014150900 modified "2023-09-27" @default.
- W3014150900 title "MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable." @default.
- W3014150900 hasPublicationYear "2014" @default.
- W3014150900 type Work @default.
- W3014150900 sameAs 3014150900 @default.
- W3014150900 citedByCount "0" @default.
- W3014150900 crossrefType "journal-article" @default.
- W3014150900 hasAuthorship W3014150900A5066136949 @default.
- W3014150900 hasConcept C105795698 @default.
- W3014150900 hasConcept C110251889 @default.
- W3014150900 hasConcept C112505250 @default.
- W3014150900 hasConcept C11413529 @default.
- W3014150900 hasConcept C117251300 @default.
- W3014150900 hasConcept C118615104 @default.
- W3014150900 hasConcept C153269930 @default.
- W3014150900 hasConcept C192034797 @default.
- W3014150900 hasConcept C30788636 @default.
- W3014150900 hasConcept C33923547 @default.
- W3014150900 hasConcept C41008148 @default.
- W3014150900 hasConcept C80444323 @default.
- W3014150900 hasConceptScore W3014150900C105795698 @default.
- W3014150900 hasConceptScore W3014150900C110251889 @default.
- W3014150900 hasConceptScore W3014150900C112505250 @default.
- W3014150900 hasConceptScore W3014150900C11413529 @default.
- W3014150900 hasConceptScore W3014150900C117251300 @default.
- W3014150900 hasConceptScore W3014150900C118615104 @default.
- W3014150900 hasConceptScore W3014150900C153269930 @default.
- W3014150900 hasConceptScore W3014150900C192034797 @default.
- W3014150900 hasConceptScore W3014150900C30788636 @default.
- W3014150900 hasConceptScore W3014150900C33923547 @default.
- W3014150900 hasConceptScore W3014150900C41008148 @default.
- W3014150900 hasConceptScore W3014150900C80444323 @default.
- W3014150900 hasLocation W30141509001 @default.
- W3014150900 hasOpenAccess W3014150900 @default.
- W3014150900 hasPrimaryLocation W30141509001 @default.
- W3014150900 hasRelatedWork W110211537 @default.
- W3014150900 hasRelatedWork W143370938 @default.
- W3014150900 hasRelatedWork W1487652347 @default.
- W3014150900 hasRelatedWork W1495170383 @default.
- W3014150900 hasRelatedWork W1526491740 @default.
- W3014150900 hasRelatedWork W1547243468 @default.
- W3014150900 hasRelatedWork W1564539673 @default.
- W3014150900 hasRelatedWork W1593043349 @default.
- W3014150900 hasRelatedWork W1601091540 @default.
- W3014150900 hasRelatedWork W1772179977 @default.
- W3014150900 hasRelatedWork W1880663844 @default.
- W3014150900 hasRelatedWork W1928422391 @default.
- W3014150900 hasRelatedWork W1983125523 @default.
- W3014150900 hasRelatedWork W2097309823 @default.
- W3014150900 hasRelatedWork W2133856837 @default.
- W3014150900 hasRelatedWork W2251374851 @default.
- W3014150900 hasRelatedWork W23348632 @default.
- W3014150900 hasRelatedWork W2513871081 @default.
- W3014150900 hasRelatedWork W2808618195 @default.
- W3014150900 hasRelatedWork W2950697212 @default.
- W3014150900 isParatext "false" @default.
- W3014150900 isRetracted "false" @default.
- W3014150900 magId "3014150900" @default.
- W3014150900 workType "article" @default.