Optimal directed control of discrete event systems with linear temporal logic constraints. - Ami Sakakibara; Sasinee Pruekprasert; Toshimitsu Ushio (ETFA, 2015)

State-based optimal supervisor for non-terminating quantitative discrete event systems. - Sasinee Pruekprasert; Toshimitsu Ushio (ICARCV, 2016)

Optimal Stabilizing Supervisor of Quantitative Discrete Event Systems under Partial Observation. - Sasinee Pruekprasert; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016)

Optimal Stabilizing Controller for the Region of Weak Attraction under the Influence of Disturbances. - Sasinee Pruekprasert; Toshimitsu Ushio (IEICE Trans. Inf. Syst., 2016)

Quantitative Supervisory Control Game for Discrete Event Systems. - Sasinee Pruekprasert; Toshimitsu Ushio; Takafumi Kanazawa (IEEE Trans. Autom. Control., 2016)

Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem. - Sasinee Pruekprasert; Toshimitsu Ushio (IEICE Trans. Inf. Syst., 2017)

Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles. - Sasinee Pruekprasert; Xiaoyi Zhang 005; Jérémy Dubut; Chao Huang 006; Masako Kishida (ITSC, 2019)

A Game Theoretic Approach to Decision Making for Multiple Vehicles at Roundabout. - Sasinee Pruekprasert; Jérémy Dubut; Xiaoyi Zhang 005; Chao Huang 014; Masako Kishida (CoRR, 2019)

Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles. - Sasinee Pruekprasert; Xiaoyi Zhang 005; Jérémy Dubut; Chao Huang 014; Masako Kishida (CoRR, 2019)

Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization. - Sasinee Pruekprasert; Toru Takisaka; Clovis Eberhart; Ahmet Cetinkaya; Jérémy Dubut (CoRR, 2019)

Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications. - Sasinee Pruekprasert; Clovis Eberhart; Jérémy Dubut (ICARCV, 2020)

Supervisory Control of Communicating Timed Discrete Event Systems for State Avoidance Problem. - Sasinee Pruekprasert; Toshimitsu Ushio (IEEE Control. Syst. Lett., 2020)

Local Opacity Verification for Distributed Discrete Event Systems. - Sasinee Pruekprasert; Kai Cai (CDC, 2021)

Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications. - Sasinee Pruekprasert; Clovis Eberhart; Jérémy Dubut (CDC, 2021)

Dynamic Shielding for Reinforcement Learning in Black-Box Environments. - Masaki Waga; Ezequiel Castellano; Sasinee Pruekprasert; Stefan Klikovits; Toru Takisaka; Ichiro Hasuo (ATVA, 2022)

Logic for Timed Agent Network Topologies. - Clovis Eberhart; James Haydon; Jérémy Dubut; Ahmet Cetinkaya; Sasinee Pruekprasert (CDC, 2022)

Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis. - Sasinee Pruekprasert; Jérémy Dubut; Toru Takisaka; Clovis Eberhart; Ahmet Cetinkaya (CoRR, 2022)

Goal-Aware RSS for Complex Scenarios via Program Logic. - Ichiro Hasuo; Clovis Eberhart; James Haydon; Jérémy Dubut; Rose Bohrer; Tsutomu Kobayashi; Sasinee Pruekprasert; Xiao-Yi Zhang 005; Erik André Pallas; Akihisa Yamada 002; Kohei Suenaga; Fuyuki Ishikawa; et al. (IEEE Trans. Intell. Veh., 2023)

Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control. - Kittiphon Phalakarn; Sasinee Pruekprasert; Ichiro Hasuo (ICTAC, 2024)

Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis. - Sasinee Pruekprasert; Jérémy Dubut; Toru Takisaka; Clovis Eberhart; Ahmet Cetinkaya (Autom., 2024)