The following pages link to The Power of Hybrid Acceleration (Q5756730):
Displaying 7 items.
- Applying abstract acceleration to (co-)reachability analysis of reactive programs (Q435977) (← links)
- Don't care words with an application to the automata-based approach for real addition (Q1028730) (← links)
- Flat Petri nets (invited talk) (Q2117150) (← links)
- (Q3191596) (← links)
- Fair Termination for Parameterized Probabilistic Concurrent Systems (Q3303911) (← links)
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space (Q3510811) (← links)
- Convex Hull of Arithmetic Automata (Q3522060) (← links)
