formal verification

Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems IJCAI 2018 An Abstraction-Refinement Methodology for Reasoning about Network Games IJCAI 2017 A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality IJCAI 2017 Correct by Construction Networks Using Stepwise Refinement NSDI 2017 Developing Bug-Free Machine Learning Systems With Formal Mathematics ICML 2017 Dynamic Logic for Data-aware Systems: Decidability Results IJCAI 2017 Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation NeurIPS 2017 Learning from Demonstrations with High-Level Side Information IJCAI 2017 Non-Determinism and the Dynamics of Knowledge IJCAI 2017 Verifying Reachability in Networks with Mutable Datapaths NSDI 2017 CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels OSDI 2016 Correlated Crash Vulnerabilities OSDI 2016 Efficient Network Reachability Analysis Using a Succinct Control Plane Representation OSDI 2016 Push-Button Verification of File Systems via Crash Refinement OSDI 2016 An Automata-Theoretic Approach to the Vehicle Routing Problem RSS 2014 On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles RSS 2013 Guaranteeing High-Level Behaviors while Exploring Partially Known Maps RSS 2012 Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error RSS 2011