Symbolic Abstractions From Data: A PAC Learning Approach

28 April 2021

Papers citing "Symbolic Abstractions From Data: A PAC Learning Approach"

5 / 5 papers shown

Title
Transfer Learning for Control Systems via Neural Simulation Relations Alireza Nadali Bingzhuo Zhong Ashutosh Trivedi Majid Zamani 260 2 0 02 Dec 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 118 31 0 20 Feb 2024
Neural Abstraction-Based Controller Synthesis and Deployment R. Majumdar Mahmoud Salamati Sadegh Soudjani 56 3 0 07 Jul 2023
Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version] Adrien Banse Licio Romao Alessandro Abate Raphaël M. Jungers 104 12 0 30 Mar 2023
Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems Andrea Peruffo M. Mazo 100 14 0 10 Mar 2022