Publications

Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics
Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan
Proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, to appear

Exact Quantitative Probabilistic Model Checking Through Rational Search
Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Proceedings of the 17th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2017

Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis
Adria Gascon, Ashish Tiwari, Brent Carmer, Umang Mathur
Proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017

Dynamic Race Prediction in Linear Time
Dileep Kini, Umang Mathur, Mahesh Viswanathan
Proceedings of 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017

Computing Information Flow Using Symbolic Model-Checking
Rohit Chadha, Umang Mathur, Stefan Schwoon
Proceedings of IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2014

Weak Singular Hybrid Automata
Ashutosh Trivedi, Umang Mathur, Krishna S.
Proceedings of 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014