Pages that link to "Item:Q5082188"
From MaRDI portal
The following pages link to Learning-Based Compositional Parameter Synthesis for Event-Recording Automata (Q5082188):
Displayed 4 items.
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability (Q832203) (← links)
- The language preservation problem is undecidable for parametric event-recording automata (Q1751409) (← links)
- (Q5208876) (← links)
- Distributed parametric model checking timed automata under non-zenoness assumption (Q6108439) (← links)