The following pages link to Andreas Eggers (Q547915):
Displaying 6 items.
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems (Q547916) (← links)
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata (Q710668) (← links)
- Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods (Q3095239) (← links)
- Superposition Modulo Non-linear Arithmetic (Q3172887) (← links)
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems (Q3540072) (← links)
- Challenges in Constraint-Based Analysis of Hybrid Systems (Q5191406) (← links)
