scientific article; zbMATH DE number 1794367
From MaRDI portal
Publication:4552463
Recommendations
Cited in
(88)- Controller synthesis for dynamic hierarchical real-time plants using timed automata
- Weighted register automata and weighted logic on data words
- On decidability of recursive weighted logics
- Backward symbolic optimal reachability in weighted timed automata
- Optimal and robust controller synthesis using energy timed automata with uncertainty
- Optimal and robust controller synthesis. Using energy timed automata with uncertainty
- Costs and rewards in priced timed automata
- Weighted automata
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Timed network games
- Model-checking precision agriculture logistics: the case of the differential harvest
- Complete proof systems for weighted modal logic
- Scheduling with timed automata
- On the optimal reachability problem of weighted timed automata
- Optimal reachability for multi-priced timed automata
- Optimal infinite scheduling for multi-priced timed automata
- On model-checking timed automata with stopwatch observers
- Hybrid control of networked embedded systems
- scientific article; zbMATH DE number 1701758 (Why is no real title available?)
- Priced timed Petri nets
- Keeping secrets in resource aware components
- The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems
- Priced timed automata: theory and tools
- Symbolic minimum expected time controller synthesis for probabilistic timed automata
- Verification and control of partially observable probabilistic real-time systems
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Timed automata with observers under energy constraints
- Optimal reachability in divergent weighted timed games
- Emptiness and universality problems in timed automata with positive frequency
- Energy games in multiweighted automata
- Statistical Model Checking for Networks of Priced Timed Automata
- Model Checking Real-Time Systems
- Verification of Hybrid Systems
- Language emptiness of continuous-time parametric timed automata
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Concavely-Priced Timed Automata
- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
- Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
- STORMED Hybrid Games
- Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata
- Weighted Timed MSO Logics
- Model checking logic WCTL with multi constrained modalities on one clock priced timed automata
- Revisiting decidability and optimum reachability for multi-priced timed automata
- On the supports of recognizable timed series
- A survey of timed automata for the development of real-time systems
- scientific article; zbMATH DE number 1796156 (Why is no real title available?)
- Model-checking timed temporal logics
- Costs and rewards in priced timed automata
- Timed network games with clocks
- Parametric analyses of attack-fault trees
- Cost problems for parametric time Petri nets
- Finding minimum and maximum termination time of timed automata models with cyclic behaviour
- Symbolic Approximation of Weighted Timed Games
- One-clock priced timed games with negative weights
- Timed network games
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata
- Discount-optimal infinite runs in priced timed automata
- Formal language properties of hybrid systems with strong resets
- Parametric verification of weighted systems
- Tools and Algorithms for the Construction and Analysis of Systems
- An $\omega$-algebra for real-time energy problems
- Computing optimal reachability costs in priced dense-timed pushdown automata
- A Kleene-Schützenberger Theorem for Weighted Timed Automata
- MSO logics for weighted timed automata
- Foundations of Software Science and Computational Structures
- Optimal run problem for weighted register automata
- Optimal paths in weighted timed automata
- Alternation-free weighted mu-calculus: decidability and completeness
- Optimal controller synthesis for timed systems
- Monte Carlo tree search for priced timed automata
- Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems
- Energy Büchi problems
- A Kleene-Schützenberger theorem for weighted timed automata
- Weighted o-minimal hybrid systems
- Specifications for decidable hybrid games
- Discounting in time
- Playing stochastically in weighted timed games to emulate memory
- -regular energy problems
- Decidability of one-clock weighted timed games with arbitrary weights
- Linear reachability problems and minimal solutions to linear Diophantine equation systems
- Quantitative analysis of weighted transition systems
- Playing stochastically in weighted timed games to emulate memory
- Reachability for multi-priced timed automata with positive and negative rates
- Improved undecidability results on weighted timed automata
- On using priced timed automata to achieve optimal scheduling
- Performance analysis of probabilistic timed automata using digital clocks
- Concurrent weighted logic
- Cost-related interface for software product lines
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4552463)
