The following pages link to Boris Wirtz (Q436417):
Displaying 4 items.
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418) (← links)
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space (Q3510811) (← links)
- Automatic Verification of Hybrid Systems with Large Discrete State Space (Q3522915) (← links)
- Automating Verification of Cooperation, Control, and Design in Traffic Applications (Q3526930) (← links)
