Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Wongpiromsarn, Tichakorn
add a person with the name Wongpiromsarn, Tichakorn
 

Other publications of authors with the same name

Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents., , , , and . IROS, page 229-236. IEEE, (2012)Autonomy for mobility on demand., , , , , , , , , and 1 other author(s). IROS, page 4235-4236. IEEE, (2012)Verifying Cyber-Physical Interactions in Safety-Critical Systems., , and . IEEE Secur. Priv., 11 (4): 28-37 (2013)Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations., , , and . ACC, page 4866-4872. IEEE, (2021)TuLiP: a software toolbox for receding horizon temporal logic planning., , , , and . HSCC, page 313-314. ACM, (2011)Maximum Satisfiability of Mission-Time Linear Temporal Logic., , , and . FORMATS, volume 14138 of Lecture Notes in Computer Science, page 86-104. Springer, (2023)Temporal shift reinforcement learning., , and . EuroMLSys@EuroSys, page 95-100. ACM, (2022)Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems., , and . CoRR, (2014)Receding Horizon Temporal Logic Planning., , and . IEEE Trans. Autom. Control., 57 (11): 2817-2830 (2012)Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems., , and . IEEE Trans. Autom. Control., 61 (11): 3344-3355 (2016)