Pages that link to "Item:Q3506869"
From MaRDI portal
The following pages link to Approximating Continuous Systems by Timed Automata (Q3506869):
Displaying 4 items.
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- Verification of continuous dynamical systems by timed automata (Q763240) (← links)
- Detecting synchronisation of biological oscillators by model checking (Q969176) (← links)
- Timed-automata abstraction of switched dynamical systems using control invariants (Q1699229) (← links)
