Ratan Lal
EMSOFT 2019: 19th International Conference on Embedded Software
Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems
EMSOFT 2015: 15th International Conference on Embedded Software
Bounded Error Flowpipe Computation of Parameterized Linear Systems