The following pages link to (Q4552463):
Displayed 50 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
- MSO logics for weighted timed automata (Q548692) (← links)
- Optimal paths in weighted timed automata (Q596026) (← 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)
- Quantitative analysis of weighted transition systems (Q710680) (← links)
- Improved undecidability results on weighted timed automata (Q844195) (← links)
- On using priced timed automata to achieve optimal scheduling (Q853729) (← links)
- Performance analysis of probabilistic timed automata using digital clocks (Q853731) (← links)
- Concurrent weighted logic (Q890620) (← links)
- Cost-related interface for software product lines (Q898616) (← links)
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- Weighted register automata and weighted logic on data words (Q1786559) (← links)
- On decidability of recursive weighted logics (Q1797779) (← links)
- Backward symbolic optimal reachability in weighted timed automata (Q1996010) (← links)
- Optimal and robust controller synthesis using energy timed automata with uncertainty (Q1996422) (← links)
- Optimal and robust controller synthesis. Using energy timed automata with uncertainty (Q2024347) (← links)
- Costs and rewards in priced timed automata (Q2064528) (← links)
- Weighted automata (Q2074206) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Timed network games (Q2112796) (← links)
- Model-checking precision agriculture logistics: the case of the differential harvest (Q2220343) (← links)
- Complete proof systems for weighted modal logic (Q2253184) (← links)
- Scheduling with timed automata (Q2368955) (← links)
- On the optimal reachability problem of weighted timed automata (Q2385195) (← links)
- Optimal infinite scheduling for multi-priced timed automata (Q2475633) (← links)
- On model-checking timed automata with stopwatch observers (Q2492187) (← links)
- Hybrid control of networked embedded systems (Q2512007) (← links)
- Keeping Secrets in Resource Aware Components (Q2870285) (← links)
- Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata (Q2945592) (← links)
- Verification and Control of Partially Observable Probabilistic Real-Time Systems (Q2945599) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Optimal Reachability in Divergent Weighted Timed Games (Q2988366) (← links)
- Emptiness and Universality Problems in Timed Automata with Positive Frequency (Q3012924) (← links)
- Energy Games in Multiweighted Automata (Q3105747) (← links)
- Statistical Model Checking for Networks of Priced Timed Automata (Q3172845) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Language Emptiness of Continuous-Time Parametric Timed Automata (Q3449466) (← links)
- Infinite Runs in Weighted Timed Automata with Energy Constraints (Q3543286) (← links)
- Concavely-Priced Timed Automata (Q3543287) (← links)
- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets (Q3543289) (← links)
- STORMED Hybrid Games (Q3624600) (← links)
- Weighted Timed MSO Logics (Q3637244) (← links)
- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata (Q3648825) (← links)
- Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata (Q3648829) (← links)
- On the Supports of Recognizable Timed Series (Q3648835) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)