Tichakorn Wongpiromsarn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
8
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMCAD | Scalable MLTL Runtime Monitoring and Satisfiability via Bit-Vector Encoding. | Christopher Johannsen, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn |
| 2024 | FMICS | Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems. | Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn |
| 2023 | FMICS | Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints. | Chris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn |
| 2023 | IROS | Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Safety-Critical Autonomous Systems. | Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray |
| 2022 | CAV | 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 |
| 2022 | EuroSys | Temporal shift reinforcement learning. | Deepak-George Thomas, Tichakorn Wongpiromsarn, Ali Jannesari |
| 2022 | ICRA | Design and Evaluation of Object Classifiers for Probabilistic Decision-Making in Autonomous Systems. | Hamad Ullah, Weisi Fan, Tichakorn Wongpiromsarn |
| 2021 | IROS | 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 |
| 2021 | WAFR | Hierarchical Multiobjective Shortest Path Problems. | Konstantin Slutsky, Dmitry S. Yershov, Tichakorn Wongpiromsarn, Emilio Frazzoli |
| 2019 | ICRA | 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 |
| 2015 | IROS | Online horizon selection in receding horizon temporal logic planning. | Vasumathi Raman, Mattias Flt, Tichakorn Wongpiromsarn, Richard M. Murray |
| 2013 | ICRA | 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 |
| 2012 | IAS | 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. |
| 2012 | IROS | 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 |
| 2012 | IROS | Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents. | Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus |