The following pages link to (Q2769587):
Displaying 26 items.
- Shrinking of time Petri nets (Q378906) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- On parametric timed automata and one-counter machines (Q515666) (← links)
- Automated verification and refinement for physical-layer protocols (Q539420) (← links)
- Reachability solution characterization of parametric real-time systems (Q703513) (← links)
- Parametric probabilistic transition systems for system design and analysis (Q877158) (← links)
- Robust safety of timed automata (Q1028728) (← links)
- Linear parametric model checking of timed automata (Q1858447) (← links)
- Timed automata relaxation for reachability (Q2044206) (← links)
- An automated system repair framework with signal temporal logic (Q2139184) (← links)
- Model checking of linear-time properties in multi-valued systems (Q2282319) (← links)
- Shrinking timed automata (Q2637311) (← links)
- Bounded Model Checking for Parametric Timed Automata (Q2889614) (← links)
- Parametric Deadlock-Freeness Checking Timed Automata (Q3179417) (← links)
- Language Emptiness of Continuous-Time Parametric Timed Automata (Q3449466) (← links)
- Robust Model-Checking of Linear-Time Properties in Timed Automata (Q3525763) (← links)
- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph (Q3543304) (← links)
- Linear Temporal Logic of Constraint Automata (Q3628607) (← links)
- Parity Automata for Quantitative Linear Time Logics (Q4580202) (← links)
- An Inverse Method for Parametric Timed Automata (Q4982084) (← links)
- (Q5089224) (← links)
- (Q5101345) (← links)
- A menagerie of timed automata (Q5176174) (← links)
- On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic (Q5870862) (← links)
