Tichakorn Wongpiromsarn

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