Shromona Ghosh

Mach. Learn., October, 2023

3D Environment Modeling for Falsification and Beyond with Scenic 3.0.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2021

Counterexample-Guided Synthesis of Perception Models and Control.

[BibT_eX]

[DOI]

Proceedings of the 2021 American Control Conference, 2021

2019

Counterexample-Guided Synthesis of Perception Models and Control.

[BibT_eX]

[DOI]

Hadi Ravanbakhsh

CoRR, 2019

A Formalization of Robustness for Deep Neural Networks.

[BibT_eX]

[DOI]

Tommaso Dreossi

CoRR, 2019

VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems.

[BibT_eX]

[DOI]

CoRR, 2019

Scenic: a language for scenario specification and scene generation.

[BibT_eX]

[DOI]

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Bridging Hamilton-Jacobi Safety Analysis and Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Robotics and Automation, 2019

A new simulation metric to determine safe environments and controllers for systems with unknown dynamics.

[BibT_eX]

[DOI]

Somil Bansal

Claire J. Tomlin

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

Reachability-Based Safety Guarantees using Efficient Initializations.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Scenic: Language-Based Scene Generation.

[BibT_eX]

[DOI]

CoRR, 2018

A Minimum Discounted Reward Hamilton-Jacobi Formulation for Computing Reachable Sets.

[BibT_eX]

[DOI]

CoRR, 2018

SOTER: Programming Safe Robotics System using Runtime Assurance.

[BibT_eX]

[DOI]

CoRR, 2018

Context-Specific Validation of Data-Driven Models.

[BibT_eX]

[DOI]

Somil Bansal

Claire J. Tomlin

CoRR, 2018

Time-Series Learning Using Monotonic Logical Properties.

[BibT_eX]

[DOI]

Jyotirmoy V. Deshmukh

Proceedings of the Runtime Verification - 18th International Conference, 2018

Counterexample-Guided Data Augmentation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Verifying Controllers Against Adversarial Examples with Bayesian Optimization.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

Formal Specification for Deep Neural Networks.

[BibT_eX]

[DOI]

Xiangyu Yue

Proceedings of the Automated Technology for Verification and Analysis, 2018

Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games.

[BibT_eX]

[DOI]

Vasumathi Raman

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Robust online monitoring of signal temporal logic.

[BibT_eX]

[DOI]

Jyotirmoy V. Deshmukh

Formal Methods Syst. Des., 2017

Systematic Testing of Convolutional Neural Networks for Autonomous Driving.

[BibT_eX]

[DOI]

Tommaso Dreossi

CoRR, 2017

Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications.

[BibT_eX]

[DOI]

Vasumathi Raman

CoRR, 2017

2016

Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

S. Shankar Sastry