Publications

Md Rayhanul Islam, Tichakorn Wongpiromsarn, Samik Basu (2024). Analysis of the Effects of Perception Inconsistency Among Interacting Vehicles in Partially Observable Environments. 2024 27th IEEE International Conference on Intelligent Transportation Systems (ITSC).

Ranai Srivastav, Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray (2024). TRELPy: Toolbox for Task-Relevant Evaluation of Perception. ICRA Workshop on How to Ensure Correct Robot Behaviors? Software Challenges in Formal Methods for Robotics.

Alexis Aurandt, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn (2024). Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems. 26th International Symposium on Formal Methods.

Hsin-Jung Yang, Joe Beck, Md Zahid Hasan, Ekin Beyazit, Subhadeep Chakraborty, Tichakorn Wongpiromsarn, Soumik Sarkar (2024). GENESIS-RL: GEnerating Natural Edge-cases with Systematic Integration of Safety Considerations and Reinforcement Learning. 2024 IEEE International Automated Vehicle Validation Conference (IAVVC).

PDF Project Project

Tichakorn Wongpiromsarn, Marcelo Kallmann, Andreas Kolling (2024). Locally Homotopic Paths: Ensuring Consistent Paths in Hierarchical Path Planning. IEEE Robotics and Automation Letters (RAL).

Gokul Hariharan, Brian C. Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier (2024). MLTL Multi-type: A Typed Logic for Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems.

Gokul Hariharan, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn (2023). Maximum Satisfiability in Mission-time Linear Temporal Logic. 21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS).

Chris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn (2023). Encoding Intractable Specifications via Implied Domain Constraints. 28th International Conference on Formal Methods for Industrial Critical Systems (FMICS).

Steven Carr, Tichakorn Wongpiromsarn, Ufuk Topcu (2023). Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems. 2023 7th IEEE Conference on Control Technology and Applications (CCTA).

PDF Project Video

Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu (2023). Formal Methods for Autonomous Systems. Foundations and Trends in Systems and Control.

Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray (2023). Evaluation Metrics for Object Detection for Autonomous Systems. 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Hamad Ullah, Weisi Fan, Tichakorn Wongpiromsarn (2022). Design and Evaluation of Object Classifiers for Probabilistic Decision-Making in Autonomous Systems. 2022 International Conference on Robotics and Automation (ICRA).

Deepak George Thomas, Tichakorn Wongpiromsarn, Ali Jannesari (2022). Temporal Shift Reinforcement Learning. Proceedings of the 2nd European Workshop on Machine Learning and Systems.

Gokul Hariharan, Brian Kempa, Tichakorm Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier (2022). MLTL Multi-type: A logic to reason over signals of different types.

PDF Project artifacts

Sin Yong Tan, Weisi Fan, Qisai Liu, Tichakorn Wongpiromsarn, Soumik Sarkar (2022). Enhancing System-level Safety in Autonomous Driving via Feedback Learning. NeurIPS 2022 Workshop on Machine Learning for Autonomous Driving.

Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray (2021). Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications. Proceedings of the 60th IEEE Conference on Decision and Control (CDC).

Bassam Helou, Aditya Dusi, Anne Collin, Noushin Mehdipour, Zhiliang Chen, Cristhian Lizarazo, Calin Belta, Tichakorn Wongpiromsarn, Radboud Duintjer Tebbens, Oscar Beijbom (2021). The Reasonable Crowd: Towards Evidence-Based and Interpretable Models of Driving behavior. 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Sudarshanan Bharadwaj, Tichakorn Wongpiromsarn, Natasha Neogi, Joseph Muffoletto, Ufuk Topcu (2021). Minimum-Violation Traffic Management for Urban Air Mobility. The 13th NASA Formal Methods Symposium.

Tichakorn Wongpiromsarn, Konstantin Slutsky, Emilio Frazzoli, Ufuk Topcu (2021). Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations. 2021 American Control Conference.

Project full version

Konstantin Slutsky, Dmitry Yershov, Tichakorn Wongpiromsarn, Emilio Frazzoli (2020). Hierarchical Multiobjective Shortest Path Problems. Workshop on the Algorithmic Foundations of Robotics (WAFR).

Karl Iagnemma, Harshavardhan Ravichandran, Tichakorn Wongpiromsarn (2019). Identifying a stopping place for an autonomous vehicle. U.S. Patent 10473470.

Andrea Censi, Konstantin Slutsky, Tichakorn Wongpiromsarn, Dmitry Yershov, Scott Pendleton, James Fu, Emilio Frazzoli (2019). Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks. 2019 International Conference on Robotics and Automation (ICRA).

PDF Project Video

Tichakorn Wongpiromsarn, Emilio Frazzoli, Danwei Wang, Tawit Uthaicharoenpong, Yu Wang (2017). Traffic signal control method and traffic signal controller. U.S. Patent 9601013.

Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew Lamperski (2016). Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems. IEEE Transactions on Automatic Control.

Vasumathi Raman, Mattias Fält, Tichakorn Wongpiromsarn, Richard M. Murray (2015). Online horizon selection in receding horizon temporal logic planning. 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Jean Gregoire, Xiangjun Qian, Emilio Frazzoli, Arnaud de La Fortelle, Tichakorn Wongpiromsarn (2015). Capacity-Aware Backpressure Traffic Signal Control. IEEE Transactions on Control of Network Systems.

Nan Xiao, Xuehe Wang, Lihua Xie, Tichakorn Wongpiromsarn, Emilio Frazzoli, Daniela Rus (2014). Road pricing design based on game theory and multi-agent consensus. IEEE/CAA Journal of Automatica Sinica.

Pratik Chaudhari, Tichakorn Wongpiromsarn, Emilio Frazzoli (2014). Incremental minimum-violation control synthesis for robots interacting with external agents. 2014 American Control Conference.

Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta (2014). Incremental Controller Synthesis in Probabilistic Environments with Temporal Logic Constraints. International Journal of Robotics Research.

Jean Gregoire, Emilio Frazzoli, Arnaud de La Fortelle, Tichakorn Wongpiromsarn (2014). Back-pressure traffic signal control with unknown routing rates. IFAC Proceedings Volumes.

Sayan Mitra, Tichakorn Wongpiromsarn, Richard M. Murray (2013). Verifying Cyber-Physical Interactions in Safety-Critical Systems. IEEE Security Privacy.

Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray (2013). Synthesis of Control Protocols for Autonomous Systems. Unmanned Systems.

Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus (2013). Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications. 2013 IEEE International Conference on Robotics and Automation (ICRA).

Xuehe Wang, Nan Xiao, Tichakorn Wongpiromsarn, Lihua Xie, Emilio Frazzoli, Daniela Rus (2013). Distributed consensus in noncooperative congestion games: An application to road pricing. 2013 10th IEEE International Conference on Control and Automation (ICCA).

Nan Xiao, Xuehe Wang, Tichakorn Wongpiromsarn, Keyou You, Lihua Xie, Emilio Frazzoli, Daniela Rus (2013). Average strategy fictitious play with application to road pricing. 2013 American Control Conference.

Tichakorn Wongpiromsarn, Sayan Mitra, Andrew Lamperski, Richard M. Murray (2012). Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle. ACM Transactions on Embedded Computing Systems.

PDF Project full version

B. Rebsamen, T. Bandyopadhyay, T. Wongpiromsarn, S. Kim, Z. J. Chong, B. Qin, M. H. Ang, E. Frazzoli, D. Rus (2012). Utilizing the infrastructure to assist autonomous vehicles in a mobility on demand context. TENCON 2012 IEEE Region 10 Conference.

Tichakorn Wongpiromsarn, Nan Xiao, Keyou You, Kai Sim, Lihua Xie, Emilio Frazzoli, Daniela Rus (2012). Road Pricing for Spreading Peak Travel: Modeling and Design. International Conference of Hong Kong Society for Transportation Studies.

Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray (2012). Receding Horizon Temporal Logic Planning. IEEE Transactions on Automatic Control.

PDF Project Video

Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus (2012). Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents. 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

PDF Project full version

Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta (2012). Incremental control synthesis in probabilistic environments with Temporal Logic constraints. 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

Tichakorn Wongpiromsarn, Tawit Uthaicharoenpong, Yu Wang, Emilio Frazzoli, Danwei Wang (2012). Distributed traffic signal control for maximum network throughput. 2012 15th International IEEE Conference on Intelligent Transportation Systems.

PDF Project Video

Tichakorn Wongpiromsarn, Emilio Frazzoli (2012). Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications. 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

PDF Project full version

Z. J. Chong, B. Qin, T. Bandyopadhyay, T. Wongpiromsarn, B. Rebsamen, P. Dai, S. Kim, M. H. Ang, D. Hsu, D. Rus, E. Frazzoli (2012). Autonomy for mobility on demand. 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

PDF Project Video

Z. J. Chong, B. Qin, T. Bandyopadhyay, T. Wongpiromsarn, B. Rebsamen, P. Dai, E. S. Rankin, M. H. Ang (2012). Autonomy for mobility on demand. International Conference on Intelligent Autonomous Systems.

Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray (2011). TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning. Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control.

PDF Code Project

Tichakorn Wongpiromsarn, Sertac Karaman, Emilio Frazzoli (2011). Synthesis of provably correct controllers for autonomous vehicles in urban environments. 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC).

Tichakorn Wongpiromsarn, Ufuk Topcu, Richard Murray (2011). Formal Synthesis of Embedded Control Software: Application to Vehicle Management Systems. Infotech@Aerospace 2011.

Necmiye Ozay, Ufuk Topcu, Richard M. Murray, Tichakorn Wongpiromsarn (2011). Distributed Synthesis of Control Protocols for Smart Camera Networks. 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

Hadas Kress-Gazit, Tichakorn Wongpiromsarn, Ufuk Topcu (2011). Correct, Reactive, High-Level Robot Control. IEEE Robotics Automation Magazine.

Z. J. Chong, B. Qin, T. Bandyopadhyay, T. Wongpiromsarn, E. S. Rankin, M. H. Ang, E. Frazzoli, D. Rus, D. Hsu, K. H. Low (2011). Autonomous personal vehicle for the first- and last-mile transportation services. 2011 IEEE 5th International Conference on Cybernetics and Intelligent Systems (CIS).

Z. J. Chong, B. Qin, T. Bandyopadhyay, T. Wongpiromsarn, E. S. Rankin, M. H. Ang, E. Frazzoli, D. Rus, D. Hsu, K. H. Low (2011). Autonomous Navigation in Crowded Campus Environments. IROS Workshop on Perception and Navigation.

Tichakorn Wongpiromsarn (2010). Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle.

Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray (2010). Receding Horizon Control for Temporal Logic Specifications. Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control.

Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray (2010). Automatic Synthesis of Robust Embedded Control Software. AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems.

Tichakorn Wongpiromsarn, Keyou You, Lihua Xie (2010). A consensus approach to the assignment problem: Application to mobile sensor dispatch. IEEE ICCA 2010.

Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray (2009). Receding horizon temporal logic planning for dynamical systems. Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

PDF Project full version

Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew Lamperski (2009). Periodically Controlled Hybrid Systems. Hybrid Systems: Computation and Control.

PDF Project full version

Noel E. Du Toit, Tichakorn Wongpiromsarn, Joel W. Burdick, Richard M. Murray (2008). Situational Reasoning for Road Driving in an Urban Environment. International Workshop on Intelligent Vehicle Control Systems (IVCS).

Tichakorn Wongpiromsarn, Richard M. Murray (2008). Distributed Mission and Contingency Management for the DARPA Urban Challenge. International Workshop on Intelligent Vehicle Control Systems (IVCS).

J. W. Burdick, N. E. Du Toit, A. Howard, C. Looman, J. Ma, R. M. Murray, T. Wongpiromsarn (2007). Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge.

PDF Project Video

V. G. Rao, T. Wongpiromsarn, T. Ho, K. Chung, R. D'Andrea (2006). Encapsulated path planning for abstraction-based control of multi-vehicle systems. 2006 American Control Conference.

Tichakorn Wongpiromsarn, Venkatesh Rao, Raffaello D'Andrea (2005). Two Approaches to Dynamic Refinement in Hierarchical Motion Planning. AIAA Guidance, Navigation, and Control Conference and Exhibit.