Personal information

Websites & social links

personal website

Countries

United States

Activities

Collapse all

Employment (2)

University of Texas at Austin: Austin, TX, US

2020-01-01 to present | Research Fellow (Oden Institute for Computational Engineering and Sciences)
Employment
Source: Self-asserted source
Tichakorn Wongpiromsarn

Iowa State University: Ames, IA, US

2019-11-15 to 2020-08-15 | Affiliate {Assistant} Professor (Computer Science)
Employment
Source: Self-asserted source
Tichakorn Wongpiromsarn

Education and qualifications (2)

California Institute of Technology: Pasadena, CA, US

2005-09-18 to 2010-06-11 | PhD (Mechanical Engineering)
Education
Source: Self-asserted source
Tichakorn Wongpiromsarn

Cornell University: Ithaca, NY, US

2001-08-21 to 2005-05-31 | BS (Mechanical Engineering)
Education
Source: Self-asserted source
Tichakorn Wongpiromsarn

Works (5)

Locally Homotopic Paths: Ensuring Consistent Paths in Hierarchical Path Planning

IEEE Robotics and Automation Letters
2024 | Journal article
DOI: 10.1109/LRA.2024.3427558
Contributors: Tichakorn Wongpiromsarn; Marcelo Kallmann; Andreas Kolling
Source: check_circle
Crossref

Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems

2024 | Book chapter
DOI: 10.1007/978-3-031-68150-9_13
Contributors: Alexis Aurandt; Phillip H. Jones; Kristin Yvonne Rozier; Tichakorn Wongpiromsarn
Source: check_circle
Crossref

MLTL Multi-type: A Typed Logic for Cyber-Physical Systems

ACM Transactions on Embedded Computing Systems
2024-11-25 | Journal article
DOI: 10.1145/3704809
Contributors: Gokul Hariharan; Brian Kempa; Tichakorn Wongpiromsarn; Phillip Jones; Kristin Rozier
Source: check_circle
Crossref

Maximum Satisfiability of Mission-Time Linear Temporal Logic

2023 | Book chapter
DOI: 10.1007/978-3-031-42626-1_6
Contributors: Gokul Hariharan; Phillip H. Jones; Kristin Yvonne Rozier; Tichakorn Wongpiromsarn
Source: check_circle
Crossref

MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types

2022 | Book chapter
DOI: 10.1007/978-3-031-21222-2_11
Contributors: Gokul Hariharan; Brian Kempa; Tichakorn Wongpiromsarn; Phillip H. Jones; Kristin Y. Rozier
Source: check_circle
Crossref

Peer review (2 reviews for 2 publications/grants)

Review activity for Annual reviews in control. (1)
Review activity for Discrete event dynamic systems. (1)
How many people are using ORCID?