Pages that link to "Item:Q5464753"
From MaRDI portal
The following pages link to Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464753):
Displaying 21 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Model checking weighted integer reset timed automata (Q537908) (← links)
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Specifications for decidable hybrid games (Q650914) (← links)
- Improved undecidability results on weighted timed automata (Q844195) (← links)
- On the freeze quantifier in Constraint LTL: Decidability and complexity (Q868025) (← links)
- Model checking and synthesis for branching multi-weighted logics (Q2423760) (← links)
- Optimal reachability for multi-priced timed automata (Q2474054) (← links)
- On model-checking timed automata with stopwatch observers (Q2492187) (← links)
- Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic (Q2891448) (← links)
- Quantitative Attack Tree Analysis via Priced Timed Automata (Q2945593) (← links)
- On the Interval-Bound Problem for Weighted Timed Automata (Q3004604) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Infinite Runs in Weighted Timed Automata with Energy Constraints (Q3543286) (← links)
- STORMED Hybrid Games (Q3624600) (← links)
- Weight monitoring with linear temporal logic (Q4635594) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- A Kleene-Schützenberger Theorem for Weighted Timed Automata (Q5458356) (← links)
- Model checking for a class of weighted automata (Q5962025) (← links)
- Alternation-free weighted mu-calculus: decidability and completeness (Q5971405) (← links)
