The following pages link to (Q4552456):
Displaying 48 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 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)
- Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines (Q1785845) (← 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)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← 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)
- Optimal reachability for multi-priced timed automata (Q2474054) (← links)
- On model-checking timed automata with stopwatch observers (Q2492187) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Emptiness and Universality Problems in Timed Automata with Positive Frequency (Q3012924) (← 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)
- Weighted Register Automata and Weighted Logic on Data Words (Q3179411) (← links)
- Concavely-Priced Probabilistic Timed Automata (Q3184689) (← links)
- Infinite Runs in Weighted Timed Automata with Energy Constraints (Q3543286) (← links)
- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets (Q3543289) (← links)
- Minimal Cost Reachability/Coverability in Priced Timed Petri Nets (Q3617740) (← links)
- STORMED Hybrid Games (Q3624600) (← links)
- How to Tackle Integer Weighted Automata Positivity (Q3646253) (← 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)
- (Q5002811) (← links)
- Discount-Optimal Infinite Runs in Priced Timed Automata (Q5179061) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)
- Parametric Verification of Weighted Systems (Q5240155) (← links)
- (Q5377470) (← links)
- A Kleene-Schützenberger Theorem for Weighted Timed Automata (Q5458356) (← links)
- Optimal run problem for weighted register automata (Q5919052) (← links)
- Alternation-free weighted mu-calculus: decidability and completeness (Q5971405) (← links)
