Encapsulated path planning for abstraction-based control of multi-vehicle systems. - Venkatesh G. Rao; Tichakorn Wongpiromsarn; Thientu Ho; Kimberly Chung; Raffaello D'Andrea (ACC, 2006)

Receding horizon temporal logic planning for dynamical systems. - Tichakorn Wongpiromsarn; Ufuk Topcu; Richard M. Murray (CDC, 2009)

Periodically Controlled Hybrid Systems. - Tichakorn Wongpiromsarn; Sayan Mitra; Richard M. Murray; Andrew G. Lamperski (HSCC, 2009)

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

Receding horizon control for temporal logic specifications. - Tichakorn Wongpiromsarn; Ufuk Topcu; Richard M. Murray (HSCC, 2010)

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

TuLiP: a software toolbox for receding horizon temporal logic planning. - Tichakorn Wongpiromsarn; Ufuk Topcu; Necmiye Ozay; Huan Xu; Richard M. Murray (HSCC, 2011)

Distributed Synthesis of Control Protocols for Smart Camera Networks. - Necmiye Ozay; Ufuk Topcu; Richard M. Murray; Tichakorn Wongpiromsarn (ICCPS, 2011)

Synthesis of provably correct controllers for autonomous vehicles in urban environments. - Tichakorn Wongpiromsarn; Sertac Karaman; Emilio Frazzoli (ITSC, 2011)

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

Incremental control synthesis in probabilistic environments with Temporal Logic constraints. - Alphan Ulusoy; Tichakorn Wongpiromsarn; Calin Belta (CDC, 2012)

Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications. - Tichakorn Wongpiromsarn; Emilio Frazzoli (CDC, 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. (IAS (1), 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 (IROS, 2012)

Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents. - Tichakorn Wongpiromsarn; Alphan Ulusoy; Calin Belta; Emilio Frazzoli; Daniela Rus (IROS, 2012)

Distributed traffic signal control for maximum network throughput. - Tichakorn Wongpiromsarn; Tawit Uthaicharoenpong; Yu Wang 095; Emilio Frazzoli; Danwei Wang (ITSC, 2012)

Road Pricing for Spreading Peak Travel: Modeling and Design - Tichakorn Wongpiromsarn; Nan Xiao 001; Keyou You; Kai Sim; Lihua Xie 001; Emilio Frazzoli; Daniela Rus (CoRR, 2012)

Receding Horizon Temporal Logic Planning. - Tichakorn Wongpiromsarn; Ufuk Topcu; Richard M. Murray (IEEE Trans. Autom. Control., 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)

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

Distributed consensus in noncooperative congestion games: An application to road pricing. - Xuehe Wang; Nan Xiao 001; Tichakorn Wongpiromsarn; Lihua Xie 001; Emilio Frazzoli; Daniela Rus (ICCA, 2013)

Junction-based Model Predictive Control for urban traffic light control. - Yu Wang 095; Danwei Wang; Bin Xu 003; Tichakorn Wongpiromsarn (ICCVE, 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 (ICRA, 2013)

Capacity-aware back-pressure traffic signal control. - Jean Gregoire; Emilio Frazzoli; Arnaud de La Fortelle; Tichakorn Wongpiromsarn (CoRR, 2013)

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

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

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

Throughput Optimal Distributed Traffic Signal Control. - Tichakorn Wongpiromsarn; Tawit Uthaicharoenpong; Emilio Frazzoli; Yu Wang 095; Danwei Wang (CoRR, 2014)

Incremental controller synthesis in probabilistic environments with temporal logic constraints. - Alphan Ulusoy; Tichakorn Wongpiromsarn; Calin Belta (Int. J. Robotics Res., 2014)

Online horizon selection in receding horizon temporal logic planning. - Vasumathi Raman; Mattias Fält; Tichakorn Wongpiromsarn; Richard M. Murray (IROS, 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)

Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems. - Tichakorn Wongpiromsarn; Ufuk Topcu; Andrew G. Lamperski (IEEE Trans. Autom. Control., 2016)

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 (ICRA, 2019)

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

Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications. - Apurva Badithela; Tichakorn Wongpiromsarn; Richard M. Murray (CDC, 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 (IROS, 2021)

Minimum-Violation Traffic Management for Urban Air Mobility. - Suda Bharadwaj; Tichakorn Wongpiromsarn; Natasha A. Neogi; Joseph Muffoletto; Ufuk Topcu (NFM, 2021)

Hierarchical Multiobjective Shortest Path Problems. - Konstantin Slutsky; Dmitry S. Yershov; Tichakorn Wongpiromsarn; Emilio Frazzoli (WAFR, 2021)

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 (NSV/FoMLAS@CAV, 2022)

Temporal shift reinforcement learning. - Deepak-George Thomas; Tichakorn Wongpiromsarn; Ali Jannesari (EuroMLSys@EuroSys, 2022)

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

Evaluation Metrics for Object Detection for Autonomous Systems. - Apurva Badithela; Tichakorn Wongpiromsarn; Richard M. Murray (CoRR, 2022)

Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems *. - Steven Carr 002; Tichakorn Wongpiromsarn; Ufuk Topcu (CCTA, 2023)

Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints. - Chris Johannsen; Brian Kempa; Phillip H. Jones; Kristin Y. Rozier; Tichakorn Wongpiromsarn (FMICS, 2023)

Maximum Satisfiability of Mission-Time Linear Temporal Logic. - Gokul Hariharan; Phillip H. Jones; Kristin Yvonne Rozier; Tichakorn Wongpiromsarn (FORMATS, 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)

Formal Methods for Autonomous Systems. - Tichakorn Wongpiromsarn; Mahsa Ghasemi; Murat Cubuktepe; Georgios Bakirtzis; Steven Carr 002; Mustafa O. Karabag; Cyrus Neary; Parham Gohari; Ufuk Topcu (Found. Trends Syst. Control., 2023)

Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems. - Alexis A. Aurandt; Phillip H. Jones; Kristin Yvonne Rozier; Tichakorn Wongpiromsarn (FMICS, 2024)

Analysis of the Effects of Perception Inconsistency Among Interacting Vehicles in Partially Observable Environments. - Md Rayhanul Islam; Tichakorn Wongpiromsarn; Samik Basu 001 (ITSC, 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)

Incorporating System-level Safety Requirements in Perception Models via Reinforcement Learning. - Weisi Fan; Jesse Lane; Qisai Liu; Soumik Sarkar; Tichakorn Wongpiromsarn (CoRR, 2024)

Locally Homotopic Paths: Ensuring Consistent Paths in Hierarchical Path Planning. - Tichakorn Wongpiromsarn; Marcelo Kallmann; Andreas Kolling (IEEE Robotics Autom. Lett., 2024)