Pages that link to "Item:Q844195"
From MaRDI portal
The following pages link to Improved undecidability results on weighted timed automata (Q844195):
Displayed 18 items.
- Expected reachability-time games (Q278757) (← links)
- Model checking weighted integer reset timed automata (Q537908) (← links)
- MSO logics for weighted timed automata (Q548692) (← links)
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Keeping Secrets in Resource Aware Components (Q2870285) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Optimal Reachability in Divergent Weighted Timed Games (Q2988366) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Language Emptiness of Continuous-Time Parametric Timed Automata (Q3449466) (← links)
- Infinite Runs in Weighted Timed Automata with Energy Constraints (Q3543286) (← links)
- Weighted Timed MSO Logics (Q3637244) (← links)
- On the Supports of Recognizable Timed Series (Q3648835) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- Symbolic Approximation of Weighted Timed Games (Q5090965) (← links)
- (Q5101350) (← links)
- A Kleene-Schützenberger Theorem for Weighted Timed Automata (Q5458356) (← links)
- Optimal controller synthesis for timed systems (Q6135744) (← links)