Tichakorn Wongpiromsarn - Publications, H-index & Citations

Tichakorn Wongpiromsarn

Iowa State University

23H指数

94论文数

2.3K被引数

收录论文 7

发表时间

MLTL Multi-type: A Typed Logic for Cyber-Physical Systems MLTL多类型：面向信息物理系统的类型化逻辑

ACM Transactions on Embedded Computing Systems

IF2.6

2026-03-01

PREAI

Hariharan, Gokul; Kempa, Brian; Wongpiromsarn, Tichakorn; Jones, Phillip; Rozier, Kristin

Formal Specification and Control Synthesis of Autonomous Robots Using Rulebooks 基于规则手册的自主机器人形式化规范与控制综合

IEEE Transactions on Robotics

IF10.5

2026-02-11

PREAI

Tichakorn Wongpiromsarn; Konstantin Slutsky; Emilio Frazzoli

Formal Methods for Autonomous Systems

FOUNDATIONS AND TRENDS IN SYSTEMS AND CONTROL

IF0.7

2023-01-01

OAAI

Wongpiromsarn, Tichakorn; Ghasemi, Mahsa; Cubuktepe, Murat; Bakirtzis, Georgios; Carr, Steven; Karabag, Mustafa O.; Neary, Cyrus; Gohari, Parham; Topcu, Ufuk

Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2016-11-01

OAAI

Wongpiromsarn, Tichakorn; Topcu, Ufuk; Lamperski, Andrew

Incremental controller synthesis in probabilistic environments with temporal logic constraints

INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH

IF5

2014-05-19

PREAI

Ulusoy, Alphan; Wongpiromsarn, Tichakorn; Belta, Calin

Receding Horizon Temporal Logic Planning 后退地平线时序逻辑规划

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2012-11-01

211

PREAI

Wongpiromsarn, Tichakorn; Topcu, Ufuk; Murray, Richard M.

Correct, Reactive, High-Level Robot Control Mitigating the State Explosion Problem of Temporal Logic Synthesis

IEEE ROBOTICS & AUTOMATION MAGAZINE

IF7.1

2011-09-01

PREAI

Kress-Gazit, Hadas; Wongpiromsarn, Tichakom; Topcu, Ufuk

研究方向