Tichakorn Wongpiromsarn

According to our database, Tichakorn Wongpiromsarn authored at least 50 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Locally Homotopic Paths: Ensuring Consistent Paths in Hierarchical Path Planning.

Tichakorn Wongpiromsarn, Marcelo Kallmann, Andreas Kolling

IEEE Robotics Autom. Lett., September, 2024

GENESIS-RL: GEnerating Natural Edge-cases with Systematic Integration of Safety considerations and Reinforcement Learning.

Hsin-Jung Yang, Joe Beck, Md. Zahid Hasan, Ekin Beyazit, Subhadeep Chakraborty, Tichakorn Wongpiromsarn, Soumik Sarkar

CoRR, 2024

Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems.

Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2023

Formal Methods for Autonomous Systems.

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

Found. Trends Syst. Control., 2023

Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Safety-Critical Autonomous Systems.

Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray

IROS, 2023

Maximum Satisfiability of Mission-Time Linear Temporal Logic.

Gokul Hariharan, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023

Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints.

Chris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems ^*.

Steven Carr, Tichakorn Wongpiromsarn, Ufuk Topcu

Proceedings of the IEEE Conference on Control Technology and Applications, 2023

2022

Evaluation Metrics for Object Detection for Autonomous Systems.

Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray

CoRR, 2022

Design and Evaluation of Object Classifiers for Probabilistic Decision-Making in Autonomous Systems.

Hamad Ullah, Weisi Fan, Tichakorn Wongpiromsarn

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Temporal shift reinforcement learning.

Deepak-George Thomas, Tichakorn Wongpiromsarn, Ali Jannesari

Proceedings of the EuroMLSys '22: Proceedings of the 2nd European Workshop on Machine Learning and Systems, Rennes, France, April 5, 2022

MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types.

Gokul Hariharan, Brian Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2021

Hierarchical Multiobjective Shortest Path Problems.

Konstantin Slutsky, Dmitry S. Yershov, Tichakorn Wongpiromsarn, Emilio Frazzoli

Proceedings of the Algorithmic Foundations of Robotics XIV, 2021

Minimum-Violation Traffic Management for Urban Air Mobility.

Suda Bharadwaj, Tichakorn Wongpiromsarn, Natasha A. Neogi, Joseph Muffoletto, Ufuk Topcu

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

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

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

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

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

Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

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

Tichakorn Wongpiromsarn, Konstantin Slutsky, Emilio Frazzoli, Ufuk Topcu

Proceedings of the 2021 American Control Conference, 2021

2019

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

Andrea Censi, Konstantin Slutsky, Tichakorn Wongpiromsarn, Dmitry S. Yershov, Scott Pendleton, James Guo Ming Fu, Emilio Frazzoli

Proceedings of the International Conference on Robotics and Automation, 2019

2016

Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems.

Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew G. Lamperski

IEEE Trans. Autom. Control., 2016

2015

Capacity-Aware Backpressure Traffic Signal Control.

Jean Gregoire, Xiangjun Qian, Emilio Frazzoli, Arnaud de La Fortelle, Tichakorn Wongpiromsarn

IEEE Trans. Control. Netw. Syst., 2015

Online horizon selection in receding horizon temporal logic planning.

Vasumathi Raman, Mattias Fält, Tichakorn Wongpiromsarn, Richard M. Murray

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

2014

Incremental controller synthesis in probabilistic environments with temporal logic constraints.

Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta

Int. J. Robotics Res., 2014

Throughput Optimal Distributed Traffic Signal Control.

Tichakorn Wongpiromsarn, Tawit Uthaicharoenpong, Emilio Frazzoli, Yu Wang, Danwei Wang

CoRR, 2014

Back-pressure traffic signal control with unknown routing rates.

Jean Gregoire, Emilio Frazzoli, Arnaud de La Fortelle, Tichakorn Wongpiromsarn

CoRR, 2014

Incremental minimum-violation control synthesis for robots interacting with external agents.

Pratik Chaudhari, Tichakorn Wongpiromsarn, Emilio Frazzoli

Proceedings of the American Control Conference, 2014

2013

Verifying Cyber-Physical Interactions in Safety-Critical Systems.

Sayan Mitra, Tichakorn Wongpiromsarn, Richard M. Murray

IEEE Secur. Priv., 2013

Capacity-aware back-pressure traffic signal control.

Jean Gregoire, Emilio Frazzoli, Arnaud de La Fortelle, Tichakorn Wongpiromsarn

CoRR, 2013

Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications.

Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Junction-based Model Predictive Control for urban traffic light control.

Yu Wang, Danwei Wang, Bin Xu, Tichakorn Wongpiromsarn

Proceedings of the International Conference on Connected Vehicles and Expo, 2013

Distributed consensus in noncooperative congestion games: An application to road pricing.

Xuehe Wang, Nan Xiao, Tichakorn Wongpiromsarn, Lihua Xie, Emilio Frazzoli, Daniela Rus

Proceedings of the 10th IEEE International Conference on Control and Automation, 2013

Average strategy fictitious play with application to road pricing.

Nan Xiao, Xuehe Wang, Tichakorn Wongpiromsarn, Keyou You, Lihua Xie, Emilio Frazzoli, Daniela Rus

Proceedings of the American Control Conference, 2013

2012

Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle.

Tichakorn Wongpiromsarn, Sayan Mitra, Andrew G. Lamperski, Richard M. Murray

ACM Trans. Embed. Comput. Syst., 2012

Receding Horizon Temporal Logic Planning.

Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray

IEEE Trans. Autom. Control., 2012

Road Pricing for Spreading Peak Travel: Modeling and Design

Tichakorn Wongpiromsarn, Nan Xiao, Keyou You, Kai Sim, Lihua Xie, Emilio Frazzoli, Daniela Rus

CoRR, 2012

Distributed traffic signal control for maximum network throughput.

Tichakorn Wongpiromsarn, Tawit Uthaicharoenpong, Yu Wang, Emilio Frazzoli, Danwei Wang

Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012

Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents.

Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus

Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Autonomy for mobility on demand.

Z. J. Chong, Baoxing Qin, Tirthankar Bandyopadhyay, Tichakorn Wongpiromsarn, Brice Rebsamen, P. Dai, S. Kim, Marcelo H. Ang, David Hsu, Daniela Rus, Emilio Frazzoli

Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Autonomy for Mobility on Demand.

Z. J. Chong, Baoxing Qin, Tirthankar Bandyopadhyay, Tichakorn Wongpiromsarn, Brice Rebsamen, P. Dai, E. S. Rankin, Marcelo H. Ang Jr.

Proceedings of the Intelligent Autonomous Systems 12, 2012

Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications.

Tichakorn Wongpiromsarn, Emilio Frazzoli

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Incremental control synthesis in probabilistic environments with Temporal Logic constraints.

Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

Correct, Reactive, High-Level Robot Control.

Hadas Kress-Gazit, Tichakorn Wongpiromsarn, Ufuk Topcu

IEEE Robotics Autom. Mag., 2011

Synthesis of provably correct controllers for autonomous vehicles in urban environments.

Tichakorn Wongpiromsarn, Sertac Karaman, Emilio Frazzoli

Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011

Distributed Synthesis of Control Protocols for Smart Camera Networks.

Necmiye Ozay, Ufuk Topcu, Richard M. Murray, Tichakorn Wongpiromsarn

Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

TuLiP: a software toolbox for receding horizon temporal logic planning.

Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

2010

A consensus approach to the assignment problem: Application to mobile sensor dispatch.

Tichakorn Wongpiromsarn, Keyou You, Lihua Xie

Proceedings of the 8th IEEE International Conference on Control and Automation, 2010

Receding horizon control for temporal logic specifications.

Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Automatic Synthesis of Robust Embedded Control Software.

Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray

Proceedings of the Embedded Reasoning, 2010

2009

Periodically Controlled Hybrid Systems.

Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew G. Lamperski

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

Receding horizon temporal logic planning for dynamical systems.

Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2006

Encapsulated path planning for abstraction-based control of multi-vehicle systems.

Venkatesh G. Rao, Tichakorn Wongpiromsarn, Thientu Ho, Kimberly Chung, Raffaello D'Andrea

Proceedings of the American Control Conference, 2006