Alert button
Picture for Tichakorn Wongpiromsarn

Tichakorn Wongpiromsarn

Alert button

Formal Methods for Autonomous Systems

Nov 02, 2023
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu

Viaarxiv icon

Evaluation Metrics for Object Detection for Autonomous Systems

Oct 19, 2022
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray

Figure 1 for Evaluation Metrics for Object Detection for Autonomous Systems
Figure 2 for Evaluation Metrics for Object Detection for Autonomous Systems
Figure 3 for Evaluation Metrics for Object Detection for Autonomous Systems
Figure 4 for Evaluation Metrics for Object Detection for Autonomous Systems
Viaarxiv icon

The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior

Jul 28, 2021
Bassam Helou, Aditya Dusi, Anne Collin, Noushin Mehdipour, Zhiliang Chen, Cristhian Lizarazo, Calin Belta, Tichakorn Wongpiromsarn, Radboud Duintjer Tebbens, Oscar Beijbom

Figure 1 for The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior
Figure 2 for The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior
Figure 3 for The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior
Figure 4 for The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior
Viaarxiv icon

Interpretable UAV Collision Avoidance using Deep Reinforcement Learning

Jun 04, 2021
Deepak-George Thomas, Daniil Olshanskyi, Karter Krueger, Tichakorn Wongpiromsarn, Ali Jannesari

Figure 1 for Interpretable UAV Collision Avoidance using Deep Reinforcement Learning
Figure 2 for Interpretable UAV Collision Avoidance using Deep Reinforcement Learning
Figure 3 for Interpretable UAV Collision Avoidance using Deep Reinforcement Learning
Figure 4 for Interpretable UAV Collision Avoidance using Deep Reinforcement Learning
Viaarxiv icon

Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications

May 16, 2021
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray

Figure 1 for Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications
Figure 2 for Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications
Figure 3 for Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications
Figure 4 for Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications
Viaarxiv icon

Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations

Sep 24, 2020
Tichakorn Wongpiromsarn, Konstantin Slutsky, Emilio Frazzoli, Ufuk Topcu

Figure 1 for Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations
Figure 2 for Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations
Figure 3 for Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations
Figure 4 for Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations
Viaarxiv icon

Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks

Mar 01, 2019
Andrea Censi, Konstantin Slutsky, Tichakorn Wongpiromsarn, Dmitry Yershov, Scott Pendleton, James Fu, Emilio Frazzoli

Figure 1 for Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks
Figure 2 for Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks
Figure 3 for Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks
Figure 4 for Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks
Viaarxiv icon

Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints

Sep 05, 2012
Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta

Figure 1 for Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints
Figure 2 for Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints
Figure 3 for Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints
Figure 4 for Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints
Viaarxiv icon

Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents

Mar 06, 2012
Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus

Figure 1 for Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents
Figure 2 for Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents
Figure 3 for Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents
Figure 4 for Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents
Viaarxiv icon