Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks

17 November 2023

Papers citing "Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks"

2 / 2 papers shown

Title
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning Abolfazl Lavaei F. Somenzi Sadegh Soudjani Ashutosh Trivedi Majid Zamani 55 52 0 02 Mar 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 224 1,835 0 03 Feb 2017