Pages that link to "Item:Q2492187"
From MaRDI portal
The following pages link to On model-checking timed automata with stopwatch observers (Q2492187):
Displaying 10 items.
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- Model checking weighted integer reset timed automata (Q537908) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Improved undecidability results on weighted timed automata (Q844195) (← links)
- Costs and rewards in priced timed automata (Q2064528) (← links)
- Interrupt Timed Automata (Q3617730) (← links)
- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata (Q3648825) (← links)
- On the Supports of Recognizable Timed Series (Q3648835) (← links)
- (Q4989408) (← links)
- (Q5002811) (← links)
