Pages that link to "Item:Q1274452"
From MaRDI portal
The following pages link to Event-clock automata: a determinizable class of timed automata (Q1274452):
Displaying 16 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- On regions and zones for event-clock automata (Q487253) (← links)
- Model checking weighted integer reset timed automata (Q537908) (← links)
- The efficiency of identifying timed automata and the power of clocks (Q553334) (← links)
- Learning of event-recording automata (Q604474) (← links)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability (Q832203) (← links)
- Conformance testing for real-time systems (Q842583) (← links)
- Enzymatic competition: Modeling and verification with timed hybrid Petri nets (Q1013380) (← links)
- The language preservation problem is undecidable for parametric event-recording automata (Q1751409) (← links)
- Weighted register automata and weighted logic on data words (Q1786559) (← links)
- A logical characterization of data languages. (Q1853115) (← links)
- Updatable timed automata (Q1885906) (← links)
- (Q5089309) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)
- Equivalence checking and intersection of deterministic timed finite state machines (Q6108432) (← links)
- Inferring Symbolic Automata (Q6135753) (← links)
