Author of the publication

Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications.

, , , , and . CoRR, (2024)

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

Data-Based Extended Moving Horizon Estimation for MISO Anesthesia Dynamics., , , and . IEEE Control. Syst. Lett., (2023)CoAx: Collaborative Action Dataset for Human Motion Forecasting in an Industrial Workspace., , , and . ICAART (3), page 98-105. SCITEPRESS, (2022)Formal Design of Cyber-Physical Systems with Learning-Enabled Components.. OVERLAY@AI*IA, volume 3629 of CEUR Workshop Proceedings, page 1-5. CEUR-WS.org, (2023)Verification of embedded control programs., , and . ECC, page 4252-4256. IEEE, (2013)Tools for the Analysis of Hybrid Models., , , and . Communicating Embedded Systems, Wiley, (2013)Towards Consistent and Explainable Motion Prediction using Heterogeneous Graph Attention., , , , and . CoRR, (2024)Falsification of Cyber-Physical Systems with Constrained Signal Spaces., , , , , and . NFM, volume 12229 of Lecture Notes in Computer Science, page 420-439. Springer, (2020)Safe Self-Triggered Control Based on Precomputed Reachability Sequences., , and . HSCC, page 7:1-7:12. ACM, (2023)Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions., , , and . HSCC, page 14:1-14:13. ACM, (2023)Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications., , , , and . CDC, page 5339-5344. IEEE, (2023)