Tichakorn Wongpiromsarn

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 24

Top Topics

Receding Horizon

Top Venues

Publications

Hsin-Jung Yang, Joe Beck, Md. Zahid Hasan, Ekin Beyazit, Subhadeep Chakraborty, Tichakorn Wongpiromsarn, Soumik Sarkar
GENESIS-RL: GEnerating Natural Edge-cases with Systematic Integration of Safety considerations and Reinforcement Learning. CoRR (2024)
Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn
Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems. FMICS (2024)
Tichakorn Wongpiromsarn, Marcelo Kallmann, Andreas Kolling
Locally Homotopic Paths: Ensuring Consistent Paths in Hierarchical Path Planning. IEEE Robotics Autom. Lett. 9 (9) (2024)
Gokul Hariharan, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn
Maximum Satisfiability of Mission-Time Linear Temporal Logic. FORMATS (2023)
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu
Formal Methods for Autonomous Systems. Found. Trends Syst. Control. 10 (3-4) (2023)
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu
Formal Methods for Autonomous Systems. CoRR (2023)
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Safety-Critical Autonomous Systems. IROS (2023)
Steven Carr, Tichakorn Wongpiromsarn, Ufuk Topcu
. CCTA (2023)
Chris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn
Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints. FMICS (2023)
Deepak-George Thomas, Tichakorn Wongpiromsarn, Ali Jannesari
Temporal shift reinforcement learning. EuroMLSys@EuroSys (2022)
Hamad Ullah, Weisi Fan, Tichakorn Wongpiromsarn
Design and Evaluation of Object Classifiers for Probabilistic Decision-Making in Autonomous Systems. ICRA (2022)
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
Evaluation Metrics for Object Detection for Autonomous Systems. CoRR (2022)
Gokul Hariharan, Brian Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier
MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types. NSV/FoMLAS@CAV (2022)
Tichakorn Wongpiromsarn, Konstantin Slutsky, Emilio Frazzoli, Ufuk Topcu
Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations. ACC (2021)
Konstantin Slutsky, Dmitry S. Yershov, Tichakorn Wongpiromsarn, Emilio Frazzoli
Hierarchical Multiobjective Shortest Path Problems. WAFR (2021)
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications. CDC (2021)
Bassam Helou, Aditya Dusi, Anne Collin, Noushin Mehdipour, Zhiliang Chen, Cristhian Lizarazo, Calin Belta, Tichakorn Wongpiromsarn, Radboud J. Duintjer Tebbens, Oscar Beijbom
The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior. CoRR (2021)
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications. CoRR (2021)
Bassam Helou, Aditya Dusi, Anne Collin, Noushin Mehdipour, Zhiliang Chen, Cristhian Lizarazo, Calin Belta, Tichakorn Wongpiromsarn, Radboud J. Duintjer Tebbens, Oscar Beijbom
The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior. IROS (2021)
Suda Bharadwaj, Tichakorn Wongpiromsarn, Natasha A. Neogi, Joseph Muffoletto, Ufuk Topcu
Minimum-Violation Traffic Management for Urban Air Mobility. NFM (2021)
Tichakorn Wongpiromsarn, Konstantin Slutsky, Emilio Frazzoli, Ufuk Topcu
Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations. CoRR (2020)
Andrea Censi, Konstantin Slutsky, Tichakorn Wongpiromsarn, Dmitry S. Yershov, Scott Pendleton, James Guo Ming Fu, Emilio Frazzoli
Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks. ICRA (2019)
Andrea Censi, Konstantin Slutsky, Tichakorn Wongpiromsarn, Dmitry S. Yershov, Scott Pendleton, James Guo Ming Fu, Emilio Frazzoli
Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks. CoRR (2019)
Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew G. Lamperski
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems. IEEE Trans. Autom. Control. 61 (11) (2016)
Vasumathi Raman, Mattias Fält, Tichakorn Wongpiromsarn, Richard M. Murray
Online horizon selection in receding horizon temporal logic planning. IROS (2015)
Jean Gregoire, Xiangjun Qian, Emilio Frazzoli, Arnaud de La Fortelle, Tichakorn Wongpiromsarn
Capacity-Aware Backpressure Traffic Signal Control. IEEE Trans. Control. Netw. Syst. 2 (2) (2015)
Tichakorn Wongpiromsarn, Tawit Uthaicharoenpong, Emilio Frazzoli, Yu Wang, Danwei Wang
Throughput Optimal Distributed Traffic Signal Control. CoRR (2014)
Pratik Chaudhari, Tichakorn Wongpiromsarn, Emilio Frazzoli
Incremental minimum-violation control synthesis for robots interacting with external agents. ACC (2014)
Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew G. Lamperski
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems. CoRR (2014)
Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta
Incremental controller synthesis in probabilistic environments with temporal logic constraints. Int. J. Robotics Res. 33 (8) (2014)
Jean Gregoire, Emilio Frazzoli, Arnaud de La Fortelle, Tichakorn Wongpiromsarn
Back-pressure traffic signal control with unknown routing rates. CoRR (2014)
Sayan Mitra, Tichakorn Wongpiromsarn, Richard M. Murray
Verifying Cyber-Physical Interactions in Safety-Critical Systems. IEEE Secur. Priv. 11 (4) (2013)
Yu Wang, Danwei Wang, Bin Xu, Tichakorn Wongpiromsarn
Junction-based Model Predictive Control for urban traffic light control. ICCVE (2013)
Nan Xiao, Xuehe Wang, Tichakorn Wongpiromsarn, Keyou You, Lihua Xie, Emilio Frazzoli, Daniela Rus
Average strategy fictitious play with application to road pricing. ACC (2013)
Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus
Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications. ICRA (2013)
Xuehe Wang, Nan Xiao, Tichakorn Wongpiromsarn, Lihua Xie, Emilio Frazzoli, Daniela Rus
Distributed consensus in noncooperative congestion games: An application to road pricing. ICCA (2013)
Jean Gregoire, Emilio Frazzoli, Arnaud de La Fortelle, Tichakorn Wongpiromsarn
Capacity-aware back-pressure traffic signal control. CoRR (2013)
Tichakorn Wongpiromsarn, Emilio Frazzoli
Control of Probabilistic Systems under Dynamic, Partially Known Environments with Temporal Logic Specifications CoRR (2012)
Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta
Incremental control synthesis in probabilistic environments with Temporal Logic constraints. CDC (2012)
Tichakorn Wongpiromsarn, Sayan Mitra, Andrew G. Lamperski, Richard M. Murray
Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle. ACM Trans. Embed. Comput. Syst. 11 (S2) (2012)
Tichakorn Wongpiromsarn, Tawit Uthaicharoenpong, Yu Wang, Emilio Frazzoli, Danwei Wang
Distributed traffic signal control for maximum network throughput. ITSC (2012)
Tichakorn Wongpiromsarn, Emilio Frazzoli
Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications. CDC (2012)
Tichakorn Wongpiromsarn, Tawit Uthaicharoenpong, Yu Wang, Emilio Frazzoli, Danwei Wang
Distributed Traffic Signal Control for Maximum Network Throughput CoRR (2012)
Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta
Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints CoRR (2012)
Z. J. Chong, Baoxing Qin, Tirthankar Bandyopadhyay, Tichakorn Wongpiromsarn, Brice Rebsamen, P. Dai, E. S. Rankin, Marcelo H. Ang Jr.
Autonomy for Mobility on Demand. IAS (1) (2012)
Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus
Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents CoRR (2012)
Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus
Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents. IROS (2012)
Tichakorn Wongpiromsarn, Nan Xiao, Keyou You, Kai Sim, Lihua Xie, Emilio Frazzoli, Daniela Rus
Road Pricing for Spreading Peak Travel: Modeling and Design CoRR (2012)
Z. J. Chong, Baoxing Qin, Tirthankar Bandyopadhyay, Tichakorn Wongpiromsarn, Brice Rebsamen, P. Dai, S. Kim, Marcelo H. Ang, David Hsu, Daniela Rus, Emilio Frazzoli
Autonomy for mobility on demand. IROS (2012)
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray
Receding Horizon Temporal Logic Planning. IEEE Trans. Autom. Control. 57 (11) (2012)
Hadas Kress-Gazit, Tichakorn Wongpiromsarn, Ufuk Topcu
Correct, Reactive, High-Level Robot Control. IEEE Robotics Autom. Mag. 18 (3) (2011)
Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray
TuLiP: a software toolbox for receding horizon temporal logic planning. HSCC (2011)
Necmiye Ozay, Ufuk Topcu, Richard M. Murray, Tichakorn Wongpiromsarn
Distributed Synthesis of Control Protocols for Smart Camera Networks. ICCPS (2011)
Tichakorn Wongpiromsarn, Sertac Karaman, Emilio Frazzoli
Synthesis of provably correct controllers for autonomous vehicles in urban environments. ITSC (2011)
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray
Receding horizon control for temporal logic specifications. HSCC (2010)
Tichakorn Wongpiromsarn, Keyou You, Lihua Xie
A consensus approach to the assignment problem: Application to mobile sensor dispatch. ICCA (2010)
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray
Automatic Synthesis of Robust Embedded Control Software. AAAI Spring Symposium: Embedded Reasoning (2010)
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray
Receding horizon temporal logic planning for dynamical systems. CDC (2009)
Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew G. Lamperski
Periodically Controlled Hybrid Systems. HSCC (2009)
Venkatesh G. Rao, Tichakorn Wongpiromsarn, Thientu Ho, Kimberly Chung, Raffaello D'Andrea
Encapsulated path planning for abstraction-based control of multi-vehicle systems. ACC (2006)