Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automated generation of dynamics-based runtime certificates for high-level control.

J. DeCastro, R. Ehlers, M. Rungger, A. Balkan, and H. Kress-Gazit. Discrete Event Dynamic Systems, 27 (2): 371-405 (2017)

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.

Jonathan Burmeister

Jonathan Vöglein

Jonathan Dörr

Jonathan Roericht

Jonathan Rother

Other publications of authors with the same name

Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features.X. Li, G. Rosman, I. Gilitschenski, C. Vasile, J. DeCastro, S. Karaman, and D. Rus. IEEE Robotics Autom. Lett., 6 (2): 3459-3466 (2021)Counterexample-Guided Safety Contracts for Autonomous Driving.J. DeCastro, L. Liebenwein, C. Vasile, R. Tedrake, S. Karaman, and D. Rus. WAFR, volume 14 of Springer Proceedings in Advanced Robotics, page 939-955. Springer, (2018)Differentiable Logic Layer for Rule Guided Trajectory Prediction.X. Li, G. Rosman, I. Gilitschenski, J. DeCastro, C. Vasile, S. Karaman, and D. Rus. CoRL, volume 155 of Proceedings of Machine Learning Research, page 2178-2194. PMLR, (2020)Outlier-robust Inverse Reinforcement Learning and Reward-based Detection of Anomalous Driving Behaviors.D. Li, M. Shehab, Z. Liu, N. Aréchiga, J. DeCastro, and N. Ozay. ITSC, page 4175-4182. IEEE, (2022)Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors.J. DeCastro, and H. Kress-Gazit. Int. J. Robotics Res., 34 (3): 378-394 (2015)Implicit Multiagent Coordination at Uncontrolled Intersections via Topological Braids.C. Mavrogiannis, J. DeCastro, and S. Srinivasa. WAFR, volume 25 of Springer Proceedings in Advanced Robotics, page 368-384. Springer, (2022)HMIway-env: A Framework for Simulating Behaviors and Preferences to Support Human-AI Teaming in Driving.D. Gopinath, J. DeCastro, G. Rosman, E. Sumner, A. Morgan, S. Hakimi, and S. Stent. CVPR Workshops, page 4341-4349. IEEE, (2022)Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning.J. DeCastro, V. Raman, and H. Kress-Gazit. ICRA, page 369-376. IEEE, (2015)Diversity-Aware Vehicle Motion Prediction via Latent Semantic Sampling.X. Huang, S. McGill, J. DeCastro, B. Williams, L. Fletcher, J. Leonard, and G. Rosman. CoRR, (2019)CARPAL: Confidence-Aware Intent Recognition for Parallel Autonomy.X. Huang, S. McGill, J. DeCastro, B. Williams, L. Fletcher, J. Leonard, and G. Rosman. CoRR, (2020)

BibSonomy

Disambiguation of "DeCastro, Jonathan A."

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automated generation of dynamics-based runtime certificates for high-level control.

Please choose a person to relate this publication to

Jonathan Burmeister

Jonathan Vöglein

Jonathan Dörr

Jonathan Roericht

Jonathan Rother

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "DeCastro, Jonathan A."

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Automated generation of dynamics-based runtime certificates for high-level control.

Please choose a person to relate this publication to

Jonathan Burmeister

Jonathan Vöglein

Jonathan Dörr

Jonathan Roericht

Jonathan Rother

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automated generation of dynamics-based runtime certificates for high-level control.