default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJonathan A. DeCastro
Person information
- affiliation: Toyota Research Institute, Cambridge, MA, USA
- affiliation (former): Cornell University, Ithaca, NY, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j9]Ruya Karagulle
, Nikos Aréchiga, Andrew Best, Jonathan A. DeCastro, Necmiye Ozay:
A Safe Preference Learning Approach for Personalization With Applications to Autonomous Vehicles. IEEE Robotics Autom. Lett. 9(5): 4226-4233 (2024)- 2021
- [j8]Xiao Li, Guy Rosman, Igor Gilitschenski, Cristian Ioan Vasile, Jonathan A. DeCastro, Sertac Karaman, Daniela Rus:
Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features. IEEE Robotics Autom. Lett. 6(2): 3459-3466 (2021) - [j7]Xin Huang, Stephen G. McGill, Jonathan A. DeCastro, Luke Fletcher, John J. Leonard, Brian C. Williams, Guy Rosman:
CARPAL: Confidence-Aware Intent Recognition for Parallel Autonomy. IEEE Robotics Autom. Lett. 6(3): 4433-4440 (2021) - 2020
- [j6]Xin Huang, Stephen G. McGill, Jonathan A. DeCastro, Luke Fletcher, John J. Leonard, Brian C. Williams, Guy Rosman:
DiversityGAN: Diversity-Aware Vehicle Motion Prediction via Latent Semantic Sampling. IEEE Robotics Autom. Lett. 5(4): 5089-5096 (2020) - 2018
- [j5]Javier Alonso-Mora, Jonathan A. DeCastro, Vasumathi Raman, Daniela Rus, Hadas Kress-Gazit:
Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles. Auton. Robots 42(4): 801-824 (2018) - 2017
- [j4]Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Hadas Kress-Gazit:
Automated generation of dynamics-based runtime certificates for high-level control. Discret. Event Dyn. Syst. 27(2): 371-405 (2017) - 2015
- [j3]Jonathan A. DeCastro, Hadas Kress-Gazit:
Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors. Int. J. Robotics Res. 34(3): 378-394 (2015) - [j2]Bin Zhang, Liang Tang, Jonathan A. DeCastro, Michael J. Roemer, Kai Goebel:
A Recursive Receding Horizon Planning for Unmanned Vehicles. IEEE Trans. Ind. Electron. 62(5): 2912-2920 (2015) - 2013
- [j1]Xiaodong Zhang, Liang Tang, Jonathan A. DeCastro:
Robust Fault Diagnosis of Aircraft Engines: A Nonlinear Adaptive Estimation-Based Approach. IEEE Trans. Control. Syst. Technol. 21(3): 861-868 (2013)
Conference and Workshop Papers
- 2024
- [c20]Ruya Karagulle, Necmiye Ozay, Nikos Aréchiga, Jonathan A. DeCastro, Andrew Best:
Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles. HSCC 2024: 5:1-5:11 - 2023
- [c19]Ruya Karagulle, Nikos Aréchiga, Andrew Best, Jonathan A. DeCastro, Necmiye Ozay:
Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles. HSCC 2023: 24:1-24:2 - 2022
- [c18]Deepak E. Gopinath, Jonathan A. DeCastro, Guy Rosman, Emily Sumner, Allison Morgan, Shabnam Hakimi, Simon Stent:
HMIway-env: A Framework for Simulating Behaviors and Preferences to Support Human-AI Teaming in Driving. CVPR Workshops 2022: 4341-4349 - [c17]Ruya Karagulle, Nikos Aréchiga, Jonathan A. DeCastro, Necmiye Ozay:
Classification of Driving Behaviors Using STL Formulas: A Comparative Study. FORMATS 2022: 153-162 - [c16]Christoforos I. Mavrogiannis, Jonathan A. DeCastro, Siddhartha S. Srinivasa:
Analyzing Multiagent Interactions in Traffic Scenes via Topological Braids. ICRA 2022: 5806-5813 - [c15]Dan Li, Mohamad Louai Shehab, Zexiang Liu, Nikos Aréchiga, Jonathan A. DeCastro, Necmiye Ozay:
Outlier-robust Inverse Reinforcement Learning and Reward-based Detection of Anomalous Driving Behaviors. ITSC 2022: 4175-4182 - [c14]Christoforos I. Mavrogiannis, Jonathan A. DeCastro, Siddhartha S. Srinivasa:
Implicit Multiagent Coordination at Uncontrolled Intersections via Topological Braids. WAFR 2022: 368-384 - 2021
- [c13]Xiao Li, Jonathan A. DeCastro, Cristian Ioan Vasile, Sertac Karaman, Daniela Rus:
Learning A Risk-Aware Trajectory Planner From Demonstrations Using Logic Monitor. CoRL 2021: 1326-1335 - [c12]Brandon Araki, Xiao Li, Kiran Vodrahalli, Jonathan A. DeCastro, Micah J. Fry, Daniela Rus:
The Logical Options Framework. ICML 2021: 307-317 - 2020
- [c11]Xiao Li, Guy Rosman, Igor Gilitschenski, Jonathan A. DeCastro, Cristian Ioan Vasile, Sertac Karaman, Daniela Rus:
Differentiable Logic Layer for Rule Guided Trajectory Prediction. CoRL 2020: 2178-2194 - [c10]Shinya Shiroshita, Shirou Maruyama, Daisuke Nishiyama, Mario Ynocente Castro, Karim Hamzaoui, Guy Rosman, Jonathan A. DeCastro, Kuan-Hui Lee, Adrien Gaidon:
Behaviorally Diverse Traffic Simulation via Reinforcement Learning. IROS 2020: 2103-2110 - [c9]Jonathan A. DeCastro, Karen Leung, Nikos Aréchiga, Marco Pavone:
Interpretable Policies from Formally-Specified Temporal Properties. ITSC 2020: 1-7 - [c8]Daisuke Nishiyama, Mario Ynocente Castro, Shirou Maruyama, Shinya Shiroshita, Karim Hamzaoui, Yi Ouyang, Guy Rosman, Jonathan A. DeCastro, Kuan-Hui Lee, Adrien Gaidon:
Discovering Avoidable Planner Failures of Autonomous Vehicles using Counterfactual Analysis in Behaviorally Diverse Simulation. ITSC 2020: 1-8 - 2018
- [c7]Jonathan A. DeCastro, Lucas Liebenwein, Cristian Ioan Vasile, Russ Tedrake, Sertac Karaman, Daniela Rus:
Counterexample-Guided Safety Contracts for Autonomous Driving. WAFR 2018: 939-955 - 2017
- [c6]Lucas Liebenwein, Wilko Schwarting, Cristian Ioan Vasile, Jonathan A. DeCastro, Javier Alonso-Mora, Sertac Karaman, Daniela Rus:
Compositional and Contract-Based Verification for Autonomous Driving on Road Networks. ISRR 2017: 163-181 - 2016
- [c5]Jonathan A. DeCastro, Hadas Kress-Gazit:
Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors. HSCC 2016: 225-234 - 2015
- [c4]Jonathan A. DeCastro, Vasumathi Raman, Hadas Kress-Gazit:
Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning. ICRA 2015: 369-376 - [c3]Jonathan A. DeCastro, Javier Alonso-Mora, Vasumathi Raman, Daniela Rus, Hadas Kress-Gazit:
Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems. ISRR (1) 2015: 459-476 - 2013
- [c2]Jonathan A. DeCastro, Hadas Kress-Gazit:
Guaranteeing reactive high-level behaviors for robots with complex dynamics. IROS 2013: 749-756 - 2011
- [c1]Liang Tang, Bin Zhang, Jonathan A. DeCastro, Eric Hettler:
An integrated health and contingency management case study on an autonomous ground robot. ICCA 2011: 584-589
Informal and Other Publications
- 2024
- [i16]Emily S. Sumner, Jonathan A. DeCastro, Jean Costa, Deepak E. Gopinath, Everlyne Kimani, Shabnam Hakimi, Allison Morgan, Andrew Best, Hieu Nguyen, Daniel J. Brooks, Bassam ul Haq, Andrew Patrikalakis, Hiroshi Yasuda, Katharine Sieck, Avinash Balachandran, Tiffany L. Chen, Guy Rosman:
Personalizing Driver Safety Interfaces via Driver Cognitive Factors Inference. CoRR abs/2402.05893 (2024) - [i15]Justin Lidard, Haimin Hu, Asher Hancock, Zixu Zhang, Albert Gimó Contreras, Vikash Modi, Jonathan A. DeCastro, Deepak E. Gopinath, Guy Rosman, Naomi Ehrich Leonard, María Santos, Jaime Fernández Fisac:
Blending Data-Driven Priors in Dynamic Games. CoRR abs/2402.14174 (2024) - [i14]Haimin Hu, Jonathan A. DeCastro, Deepak E. Gopinath, Guy Rosman, Naomi Ehrich Leonard, Jaime Fernández Fisac:
Think Deep and Fast: Learning Neural Nonlinear Opinion Dynamics from Inverse Dynamic Games for Split-Second Interactions. CoRR abs/2406.09810 (2024) - 2023
- [i13]Ameesh Shah, Jonathan A. DeCastro, John Gideon, Beyazit Yalcinkaya, Guy Rosman, Sanjit A. Seshia:
Specification-Guided Data Aggregation for Semantically Aware Imitation Learning. CoRR abs/2303.17010 (2023) - [i12]Justin Lidard, Oswin So, Yanxia Zhang, Jonathan A. DeCastro, Xiongyi Cui, Xin Huang, Yen-Ling Kuo, John J. Leonard, Avinash Balachandran, Naomi Ehrich Leonard, Guy Rosman:
GAME-UP: Game-Aware Mode Enumeration and Understanding for Trajectory Prediction. CoRR abs/2305.17600 (2023) - [i11]Ruya Karagulle, Nikos Aréchiga, Andrew Best, Jonathan A. DeCastro, Necmiye Ozay:
A Preference Learning Approach to Develop Safe and Personalizable Autonomous Vehicles. CoRR abs/2311.02099 (2023) - 2022
- [i10]Jonathan A. DeCastro, Deepak E. Gopinath, Guy Rosman, Emily Sumner, Shabnam Hakimi, Simon Stent:
Learning Latent Traits for Simulated Cooperative Driving Tasks. CoRR abs/2207.09619 (2022) - 2021
- [i9]Brandon Araki, Xiao Li, Kiran Vodrahalli, Jonathan A. DeCastro, Micah J. Fry, Daniela Rus:
The Logical Options Framework. CoRR abs/2102.12571 (2021) - [i8]Christoforos I. Mavrogiannis, Jonathan A. DeCastro, Siddhartha S. Srinivasa:
Analyzing Multiagent Interactions in Traffic Scenes via Topological Braids. CoRR abs/2109.07060 (2021) - 2020
- [i7]Xin Huang, Stephen G. McGill, Jonathan A. DeCastro, Brian C. Williams, Luke Fletcher, John J. Leonard, Guy Rosman:
CARPAL: Confidence-Aware Intent Recognition for Parallel Autonomy. CoRR abs/2003.08003 (2020) - [i6]Christoforos I. Mavrogiannis, Jonathan A. DeCastro, Siddhartha S. Srinivasa:
Implicit Multi-Agent Coordination at Unsignalized Intersections via Topological Inference. CoRR abs/2004.05205 (2020) - [i5]Shinya Shiroshita, Shirou Maruyama, Daisuke Nishiyama, Mario Ynocente Castro, Karim Hamzaoui, Guy Rosman, Jonathan A. DeCastro, Kuan-Hui Lee, Adrien Gaidon:
Behaviorally Diverse Traffic Simulation via Reinforcement Learning. CoRR abs/2011.05741 (2020) - [i4]Daisuke Nishiyama, Mario Ynocente Castro, Shirou Maruyama, Shinya Shiroshita, Karim Hamzaoui, Yi Ouyang, Guy Rosman, Jonathan A. DeCastro, Kuan-Hui Lee, Adrien Gaidon:
Discovering Avoidable Planner Failures of Autonomous Vehicles using Counterfactual Analysis in Behaviorally Diverse Simulation. CoRR abs/2011.11991 (2020) - 2019
- [i3]Nikos Aréchiga, Jonathan A. DeCastro, Soonho Kong, Karen Leung:
Better AI through Logical Scaffolding. CoRR abs/1909.06965 (2019) - [i2]Xin Huang, Stephen G. McGill, Jonathan A. DeCastro, Brian C. Williams, Luke Fletcher, John J. Leonard, Guy Rosman:
Diversity-Aware Vehicle Motion Prediction via Latent Semantic Sampling. CoRR abs/1911.12736 (2019) - 2014
- [i1]Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Paulo Tabuada, Hadas Kress-Gazit:
Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control. CoRR abs/1410.6375 (2014)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-11 20:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
