Shield Synthesis for LTL Modulo Theories

Shield Synthesis for LTL Modulo Theories

17 February 2025

Andoni Rodríguez

César Sánchez

Papers citing "Shield Synthesis for LTL Modulo Theories"

9 / 9 papers shown

Title
Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis William Fishell Andoni Rodriguez Mark Santolucito 45 0 0 14 Mar 2025
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation Guy Amir Shahaf Bassan Guy Katz 40 2 0 07 Aug 2024
Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis Andoni Rodríguez Felipe Gorostiaga César Sánchez 21 2 0 12 Jul 2024
Safe and Reliable Training of Learning-Based Aerospace Controllers Udayan Mandal Guy Amir Haoze Wu Ieva Daukantas Fletcher Lee Newell ... Kerianne Hobbs Milan Ganai Tobey Shim Guy Katz Clark Barrett 21 2 0 09 Jul 2024
Verification-Guided Shielding for Deep Reinforcement Learning Davide Corsi Guy Amir Andoni Rodríguez César Sánchez Guy Katz Roy Fox AAML OffRL 24 9 0 10 Jun 2024
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates Udayan Mandal Guy Amir Haoze Wu Ieva Daukantas Fletcher Lee Newell ... Michael Durling Milan Ganai Tobey Shim Guy Katz Clark W. Barrett 34 7 0 22 May 2024
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 76 36 0 26 May 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,818 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016