Pages that link to "Item:Q1975199"
From MaRDI portal
The following pages link to Dynamical properties of timed automata (Q1975199):
Displaying 23 items.
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- Conformance testing for real-time systems (Q842583) (← links)
- Robust safety of timed automata (Q1028728) (← links)
- Computing maximally-permissive strategies in acyclic timed automata (Q1996019) (← links)
- Safety verification of non-linear hybrid systems is quasi-decidable (Q2248097) (← links)
- Combining free choice and time in Petri nets (Q2291812) (← links)
- Entropy of regular timed languages (Q2343131) (← links)
- A maximal entropy stochastic process for a timed automaton (Q2347798) (← links)
- Shrinking timed automata (Q2637311) (← links)
- Predictable real-time software synthesis (Q2642542) (← links)
- Decidable Classes of Unbounded Petri Nets with Time and Urgency (Q2822660) (← links)
- Optimal Reachability in Divergent Weighted Timed Games (Q2988366) (← links)
- Timed Automata Can Always Be Made Implementable (Q3090823) (← links)
- Robust Model-Checking of Timed Automata via Pumping in Channel Machines (Q3172846) (← links)
- Thin and Thick Timed Regular Languages (Q3172847) (← links)
- Distributed Timed Automata with Independently Evolving Clocks (Q3541012) (← links)
- Safe Runtime Verification of Real-Time Properties (Q3648826) (← links)
- Relating syntactic and semantic perturbations of hybrid automata (Q5009441) (← links)
- On Implementable Timed Automata (Q5041274) (← links)
- Testing membership for timed automata (Q6090987) (← links)
- Optimal controller synthesis for timed systems (Q6135744) (← links)
- Computing the bandwidth of meager timed automata (Q6666783) (← links)
