The following pages link to Romain Soulat (Q1708661):
Displayed 8 items.
- (Q487250) (redirect page) (← links)
- Finite controlled invariants for sampled switched systems (Q487251) (← links)
- Compositional analysis of Boolean networks using local fixed-point iterations (Q1708662) (← links)
- Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking (Q2287101) (← links)
- Synthesis of Timing Parameters Satisfying Safety Properties (Q3172862) (← links)
- (Q4965868) (← links)
- Merge and Conquer: State Merging in Parametric Timed Automata (Q5166701) (← links)
- Stability Controllers for Sampled Switched Systems (Q5168519) (← links)