Pages that link to "Item:Q5897953"
From MaRDI portal
The following pages link to Formal Modeling and Analysis of Timed Systems (Q5897953):
Displaying 21 items.
- Expected reachability-time games (Q278757) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Improved undecidability results on weighted timed automata (Q844195) (← links)
- Suboptimal universal strategies in an optimum-time game problem (Q1370041) (← links)
- Time-aware uniformization of winning strategies (Q2106605) (← links)
- On the optimal reachability problem of weighted timed automata (Q2385195) (← links)
- Strategic risk and response time across games (Q2398194) (← links)
- On Learning the Optimal Waiting Time (Q2938733) (← 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)
- Time-Dependent Strategies in Games of Timing (Q3297671) (← links)
- Infinite Runs in Weighted Timed Automata with Energy Constraints (Q3543286) (← links)
- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study (Q3624564) (← links)
- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata (Q3648825) (← links)
- On the Supports of Recognizable Timed Series (Q3648835) (← links)
- TIME OPTIMALITY AND THE POWER MOMENT PROBLEM (Q3818196) (← links)
- Symbolic Approximation of Weighted Timed Games (Q5090965) (← links)
- (Q5101350) (← links)
- Principles and Practice of Constraint Programming – CP 2004 (Q5900308) (← links)
- Optimal controller synthesis for timed systems (Q6135744) (← links)
