![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Tichakorn Wongpiromsarn
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j9]Tichakorn Wongpiromsarn, Marcelo Kallmann, Andreas Kolling:
Locally Homotopic Paths: Ensuring Consistent Paths in Hierarchical Path Planning. IEEE Robotics Autom. Lett. 9(9): 7565-7572 (2024) - [c35]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: 220-244 - [i16]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 abs/2403.19062 (2024) - 2023
- [j8]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): 180-407 (2023) - [c34]Steven Carr, Tichakorn Wongpiromsarn, Ufuk Topcu:
Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems *. CCTA 2023: 1115-1121 - [c33]Chris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn:
Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints. FMICS 2023: 151-169 - [c32]Gokul Hariharan
, Phillip H. Jones
, Kristin Yvonne Rozier
, Tichakorn Wongpiromsarn
:
Maximum Satisfiability of Mission-Time Linear Temporal Logic. FORMATS 2023: 86-104 - [c31]Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray:
Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Safety-Critical Autonomous Systems. IROS 2023: 8651-8658 - [i15]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 abs/2311.01258 (2023) - 2022
- [c30]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: 187-204 - [c29]Deepak-George Thomas, Tichakorn Wongpiromsarn, Ali Jannesari
:
Temporal shift reinforcement learning. EuroMLSys@EuroSys 2022: 95-100 - [c28]Hamad Ullah, Weisi Fan, Tichakorn Wongpiromsarn:
Design and Evaluation of Object Classifiers for Probabilistic Decision-Making in Autonomous Systems. ICRA 2022: 7089-7095 - [i14]Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray:
Evaluation Metrics for Object Detection for Autonomous Systems. CoRR abs/2210.10298 (2022) - 2021
- [c27]Tichakorn Wongpiromsarn, Konstantin Slutsky
, Emilio Frazzoli, Ufuk Topcu:
Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations. ACC 2021: 4866-4872 - [c26]Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray:
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications. CDC 2021: 564-571 - [c25]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: 6708-6715 - [c24]Suda Bharadwaj, Tichakorn Wongpiromsarn, Natasha A. Neogi, Joseph Muffoletto, Ufuk Topcu:
Minimum-Violation Traffic Management for Urban Air Mobility. NFM 2021: 37-52 - [c23]Konstantin Slutsky
, Dmitry S. Yershov, Tichakorn Wongpiromsarn, Emilio Frazzoli:
Hierarchical Multiobjective Shortest Path Problems. WAFR 2021: 261-276 - [i13]Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray:
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications. CoRR abs/2105.07343 (2021) - [i12]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 abs/2107.13507 (2021) - 2020
- [i11]Tichakorn Wongpiromsarn, Konstantin Slutsky, Emilio Frazzoli, Ufuk Topcu:
Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations. CoRR abs/2009.11954 (2020)
2010 – 2019
- 2019
- [c22]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: 8536-8542 - [i10]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 abs/1902.09355 (2019) - 2016
- [j7]Tichakorn Wongpiromsarn, Ufuk Topcu
, Andrew G. Lamperski
:
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems. IEEE Trans. Autom. Control. 61(11): 3344-3355 (2016) - 2015
- [j6]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): 164-173 (2015) - [c21]Vasumathi Raman, Mattias Fält, Tichakorn Wongpiromsarn, Richard M. Murray
:
Online horizon selection in receding horizon temporal logic planning. IROS 2015: 3493-3499 - 2014
- [j5]Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta:
Incremental controller synthesis in probabilistic environments with temporal logic constraints. Int. J. Robotics Res. 33(8): 1130-1144 (2014) - [c20]Pratik Chaudhari, Tichakorn Wongpiromsarn, Emilio Frazzoli:
Incremental minimum-violation control synthesis for robots interacting with external agents. ACC 2014: 1761-1768 - [i9]Jean Gregoire, Emilio Frazzoli, Arnaud de La Fortelle, Tichakorn Wongpiromsarn:
Back-pressure traffic signal control with unknown routing rates. CoRR abs/1401.3357 (2014) - [i8]Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew G. Lamperski:
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems. CoRR abs/1403.3524 (2014) - [i7]Tichakorn Wongpiromsarn, Tawit Uthaicharoenpong, Emilio Frazzoli, Yu Wang, Danwei Wang:
Throughput Optimal Distributed Traffic Signal Control. CoRR abs/1407.1164 (2014) - 2013
- [j4]Sayan Mitra
, Tichakorn Wongpiromsarn, Richard M. Murray
:
Verifying Cyber-Physical Interactions in Safety-Critical Systems. IEEE Secur. Priv. 11(4): 28-37 (2013) - [c19]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: 1920-1925 - [c18]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: 1668-1673 - [c17]Yu Wang, Danwei Wang, Bin Xu, Tichakorn Wongpiromsarn:
Junction-based Model Predictive Control for urban traffic light control. ICCVE 2013: 54-59 - [c16]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: 5011-5018 - [i6]Jean Gregoire, Emilio Frazzoli, Arnaud de La Fortelle, Tichakorn Wongpiromsarn:
Capacity-aware back-pressure traffic signal control. CoRR abs/1309.6484 (2013) - 2012
- [j3]Tichakorn Wongpiromsarn, Ufuk Topcu
, Richard M. Murray
:
Receding Horizon Temporal Logic Planning. IEEE Trans. Autom. Control. 57(11): 2817-2830 (2012) - [j2]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): 53:1-53:24 (2012) - [c15]Tichakorn Wongpiromsarn, Emilio Frazzoli:
Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications. CDC 2012: 7644-7651 - [c14]Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta:
Incremental control synthesis in probabilistic environments with Temporal Logic constraints. CDC 2012: 7658-7663 - [c13]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: 671-682 - [c12]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: 229-236 - [c11]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: 4235-4236 - [c10]Tichakorn Wongpiromsarn, Tawit Uthaicharoenpong, Yu Wang, Emilio Frazzoli, Danwei Wang:
Distributed traffic signal control for maximum network throughput. ITSC 2012: 588-595 - [i5]Tichakorn Wongpiromsarn, Emilio Frazzoli:
Control of Probabilistic Systems under Dynamic, Partially Known Environments with Temporal Logic Specifications. CoRR abs/1203.1177 (2012) - [i4]Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus:
Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents. CoRR abs/1203.1180 (2012) - [i3]Tichakorn Wongpiromsarn, Tawit Uthaicharoenpong, Yu Wang, Emilio Frazzoli, Danwei Wang:
Distributed Traffic Signal Control for Maximum Network Throughput. CoRR abs/1205.5938 (2012) - [i2]Tichakorn Wongpiromsarn, Nan Xiao, Keyou You, Kai Sim, Lihua Xie, Emilio Frazzoli, Daniela Rus:
Road Pricing for Spreading Peak Travel: Modeling and Design. CoRR abs/1208.4589 (2012) - [i1]Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta:
Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints. CoRR abs/1209.0136 (2012) - 2011
- [j1]Hadas Kress-Gazit, Tichakorn Wongpiromsarn, Ufuk Topcu
:
Correct, Reactive, High-Level Robot Control. IEEE Robotics Autom. Mag. 18(3): 65-74 (2011) - [c9]Tichakorn Wongpiromsarn, Ufuk Topcu
, Necmiye Ozay, Huan Xu, Richard M. Murray
:
TuLiP: a software toolbox for receding horizon temporal logic planning. HSCC 2011: 313-314 - [c8]Necmiye Ozay, Ufuk Topcu
, Richard M. Murray
, Tichakorn Wongpiromsarn:
Distributed Synthesis of Control Protocols for Smart Camera Networks. ICCPS 2011: 45-54 - [c7]Tichakorn Wongpiromsarn, Sertac Karaman, Emilio Frazzoli:
Synthesis of provably correct controllers for autonomous vehicles in urban environments. ITSC 2011: 1168-1173 - 2010
- [c6]Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray:
Automatic Synthesis of Robust Embedded Control Software. AAAI Spring Symposium: Embedded Reasoning 2010 - [c5]Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray
:
Receding horizon control for temporal logic specifications. HSCC 2010: 101-110 - [c4]Tichakorn Wongpiromsarn, Keyou You
, Lihua Xie:
A consensus approach to the assignment problem: Application to mobile sensor dispatch. ICCA 2010: 2024-2029
2000 – 2009
- 2009
- [c3]Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray
:
Receding horizon temporal logic planning for dynamical systems. CDC 2009: 5997-6004 - [c2]Tichakorn Wongpiromsarn, Sayan Mitra
, Richard M. Murray
, Andrew G. Lamperski
:
Periodically Controlled Hybrid Systems. HSCC 2009: 396-410 - 2006
- [c1]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: 1-6
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-27 22:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint