Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees

3 December 2023

Papers citing "Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees"

5 / 5 papers shown

Title
Neural Continuous-Time Supermartingale Certificates Grigory Neustroev Mirco Giacobbe Anna Lukina 39 2 0 23 Dec 2024
Neural Model Checking Mirco Giacobbe Daniel Kroening Abhinandan Pal Michael Tautschnig NAI 29 1 0 31 Oct 2024
From Frege to chatGPT: Compositionality in language, cognition, and deep neural networks Jacob Russin Sam Whitman McGrath Danielle J. Williams Lotem Elber-Dorozko AI4CE 73 3 0 24 May 2024
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties S. Akshay Krishnendu Chatterjee Tobias Meggendorfer Dorde Zikelic 26 1 0 07 May 2024
LTL2Action: Generalizing LTL Instructions for Multi-Task RL Pashootan Vaezipoor Andrew C. Li Rodrigo Toro Icarte Sheila A. McIlraith OffRL AI4CE 42 73 0 13 Feb 2021