Author of the publication

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

, , , , , , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 432-442. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Counterexample-Guided Synthesis of Perception Models and Control., , and . CoRR, (2019)Time-Series Learning Using Monotonic Logical Properties., , , , and . RV, volume 11237 of Lecture Notes in Computer Science, page 389-405. Springer, (2018)Counterexample-Guided Data Augmentation., , , , , and . IJCAI, page 2071-2078. ijcai.org, (2018)Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications., , , , and . CoRR, (2017)Context-Specific Validation of Data-Driven Models., , , , and . CoRR, (2018)VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems., , , , , , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 432-442. Springer, (2019)Verifying Controllers Against Adversarial Examples with Bayesian Optimization., , , , and . ICRA, page 7306-7313. IEEE, (2018)Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications., , , , , , , and . HSCC, page 31-40. ACM, (2016)SOTER: Programming Safe Robotics System using Runtime Assurance., , , , and . CoRR, (2018)Reachability-Based Safety Guarantees using Efficient Initializations., , , and . CoRR, (2019)