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)Safety Verification of Networked Control Systems by Complex Zonotopes., and . Leibniz Trans. Embed. Syst., 8 (2): 01:1-01:22 (2022)Automated Multi-Drugs Administration During Total Intravenous Anesthesia Using Multi-Model Predictive Control., , and . CoRR, (2023)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)Tools for the Analysis of Hybrid Models., , , and . Communicating Embedded Systems, Wiley, (2013)Verification of embedded control programs., , and . ECC, page 4252-4256. IEEE, (2013)CoAx: Collaborative Action Dataset for Human Motion Forecasting in an Industrial Workspace., , , and . ICAART (3), page 98-105. SCITEPRESS, (2022)Falsification of Cyber-Physical Systems with Constrained Signal Spaces., , , , , and . NFM, volume 12229 of Lecture Notes in Computer Science, page 420-439. Springer, (2020)Parameter synthesis of polynomial dynamical systems., , , , , and . Inf. Comput., 289 (Part): 104941 (2022)Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications., , , , and . CDC, page 5339-5344. IEEE, (2023)