The following pages link to Christoffer Sloth (Q360649):
Displaying 7 items.
- Complete abstractions of dynamical systems by timed automata (Q360650) (← links)
- Verification of continuous dynamical systems by timed automata (Q763240) (← links)
- Converse Barrier Certificate Theorems (Q2980573) (← links)
- Compositional safety analysis using barrier certificates (Q2986748) (← links)
- Control to facet for polynomial systems (Q2986957) (← links)
- Safety Verification of Piecewise-Deterministic Markov Processes (Q2988991) (← links)
- $p$-Safe Analysis of Stochastic Hybrid Processes (Q5853942) (← links)