Sasinee Pruekprasert

According to our database, Sasinee Pruekprasert authored at least 22 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

AP-observation Automata for Abstraction-based Verification of Continuous-time Systems (Extended Version).

Sasinee Pruekprasert, Clovis Eberhart

CoRR, September, 2025

Strategy templates for almost-sure and positive winning of stochastic parity games towards permissive and resilient control.

Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo

Theor. Comput. Sci., 2025

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., February, 2024

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, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi

Proceedings of the IEEE Intelligent Vehicles Symposium, 2024

Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control.

Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024

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

Logic for Timed Agent Network Topologies.

Clovis Eberhart, James Haydon, Jérémy Dubut, Ahmet Cetinkaya, Sasinee Pruekprasert

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Dynamic Shielding for Reinforcement Learning in Black-Box Environments.

Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications.

Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Local Opacity Verification for Distributed Discrete Event Systems.

Sasinee Pruekprasert, Kai Cai

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Supervisory Control of Communicating Timed Discrete Event Systems for State Avoidance Problem.

Sasinee Pruekprasert, Toshimitsu Ushio

IEEE Control. Syst. Lett., 2020

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

Proceedings of the 16th International Conference on Control, 2020

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

Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles.

Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut, Chao Huang, Masako Kishida

CoRR, 2019

A Game Theoretic Approach to Decision Making for Multiple Vehicles at Roundabout.

Sasinee Pruekprasert, Jérémy Dubut, Xiaoyi Zhang, Chao Huang, Masako Kishida

CoRR, 2019

Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles.

Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut, Chao Huang, Masako Kishida

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

2017

Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem.

Sasinee Pruekprasert, Toshimitsu Ushio

IEICE Trans. Inf. Syst., 2017

2016

Quantitative Supervisory Control Game for Discrete Event Systems.

Sasinee Pruekprasert, Toshimitsu Ushio, Takafumi Kanazawa

IEEE Trans. Autom. Control., 2016

Optimal Stabilizing Controller for the Region of Weak Attraction under the Influence of Disturbances.

Sasinee Pruekprasert, Toshimitsu Ushio

IEICE Trans. Inf. Syst., 2016

Optimal Stabilizing Supervisor of Quantitative Discrete Event Systems under Partial Observation.

Sasinee Pruekprasert, Toshimitsu Ushio

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

State-based optimal supervisor for non-terminating quantitative discrete event systems.

Sasinee Pruekprasert, Toshimitsu Ushio

Proceedings of the 14th International Conference on Control, 2016

2015

Optimal directed control of discrete event systems with linear temporal logic constraints.

Ami Sakakibara, Sasinee Pruekprasert, Toshimitsu Ushio

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015