Jonathan A. DeCastro

Orcid: 0000-0002-0933-9671

Affiliations:
  • Toyota Research Institute, Cambridge, MA, USA
  • Cornell University, Ithaca, NY, USA (former)


According to our database1, Jonathan A. DeCastro authored at least 37 papers between 2011 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Blending Data-Driven Priors in Dynamic Games.
CoRR, 2024

Personalizing Driver Safety Interfaces via Driver Cognitive Factors Inference.
CoRR, 2024

2023
A Preference Learning Approach to Develop Safe and Personalizable Autonomous Vehicles.
CoRR, 2023

GAME-UP: Game-Aware Mode Enumeration and Understanding for Trajectory Prediction.
CoRR, 2023

Specification-Guided Data Aggregation for Semantically Aware Imitation Learning.
CoRR, 2023

Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

2022
Learning Latent Traits for Simulated Cooperative Driving Tasks.
CoRR, 2022

Implicit Multiagent Coordination at Uncontrolled Intersections via Topological Braids.
Proceedings of the Algorithmic Foundations of Robotics XV, 2022

Outlier-robust Inverse Reinforcement Learning and Reward-based Detection of Anomalous Driving Behaviors.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Analyzing Multiagent Interactions in Traffic Scenes via Topological Braids.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Classification of Driving Behaviors Using STL Formulas: A Comparative Study.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

HMIway-env: A Framework for Simulating Behaviors and Preferences to Support Human-AI Teaming in Driving.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, 2022

2021
Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features.
IEEE Robotics Autom. Lett., 2021

CARPAL: Confidence-Aware Intent Recognition for Parallel Autonomy.
IEEE Robotics Autom. Lett., 2021

The Logical Options Framework.
Proceedings of the 38th International Conference on Machine Learning, 2021

Learning A Risk-Aware Trajectory Planner From Demonstrations Using Logic Monitor.
Proceedings of the Conference on Robot Learning, 8-11 November 2021, London, UK., 2021

2020
DiversityGAN: Diversity-Aware Vehicle Motion Prediction via Latent Semantic Sampling.
IEEE Robotics Autom. Lett., 2020

Implicit Multi-Agent Coordination at Unsignalized Intersections via Topological Inference.
CoRR, 2020

Discovering Avoidable Planner Failures of Autonomous Vehicles using Counterfactual Analysis in Behaviorally Diverse Simulation.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Interpretable Policies from Formally-Specified Temporal Properties.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Behaviorally Diverse Traffic Simulation via Reinforcement Learning.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Differentiable Logic Layer for Rule Guided Trajectory Prediction.
Proceedings of the 4th Conference on Robot Learning, 2020

2019
Diversity-Aware Vehicle Motion Prediction via Latent Semantic Sampling.
CoRR, 2019

Better AI through Logical Scaffolding.
CoRR, 2019

2018
Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles.
Auton. Robots, 2018

Counterexample-Guided Safety Contracts for Autonomous Driving.
Proceedings of the Algorithmic Foundations of Robotics XIII, 2018

2017
Automated generation of dynamics-based runtime certificates for high-level control.
Discret. Event Dyn. Syst., 2017

Compositional and Contract-Based Verification for Autonomous Driving on Road Networks.
Proceedings of the Robotics Research, The 18th International Symposium, 2017

2016
Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

2015
A Recursive Receding Horizon Planning for Unmanned Vehicles.
IEEE Trans. Ind. Electron., 2015

Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors.
Int. J. Robotics Res., 2015

Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems.
Proceedings of the Robotics Research, 2015

Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015

2014
Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control.
CoRR, 2014

2013
Robust Fault Diagnosis of Aircraft Engines: A Nonlinear Adaptive Estimation-Based Approach.
IEEE Trans. Control. Syst. Technol., 2013

Guaranteeing reactive high-level behaviors for robots with complex dynamics.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

2011
An integrated health and contingency management case study on an autonomous ground robot.
Proceedings of the 9th IEEE International Conference on Control and Automation, 2011


  Loading...