Sasinee Pruekprasert

30 papers B 1C 6Journal 19Unranked 4
YearRankTypeTitle / Venue / Authors
2025 C conf
AP-Observation Automata for Abstraction-Based Verification of Continuous-Time Systems.
ICTAC
Sasinee Pruekprasert, Clovis Eberhart
2025 J jnl
AP-observation Automata for Abstraction-based Verification of Continuous-time Systems (Extended Version).
CoRR
Sasinee Pruekprasert, Clovis Eberhart
2025 J jnl
Strategy templates for almost-sure and positive winning of stochastic parity games towards permissive and resilient control.
Theor. Comput. Sci.
Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo
2024 C conf
Goal-Aware RSS for Complex Scenarios via Program Logic.
IV
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
2024 J jnl
Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis.
Autom.
Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya
2024 C conf
Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control.
ICTAC
Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo
2024 J jnl
Winning Strategy Templates for Stochastic Parity Games towards Permissive and Resilient Control.
CoRR
Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo
2023 J jnl
Goal-Aware RSS for Complex Scenarios via Program Logic.
IEEE Trans. Intell. Veh.
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
2022 B conf
Dynamic Shielding for Reinforcement Learning in Black-Box Environments.
ATVA
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
2022 J jnl
Dynamic Shielding for Reinforcement Learning in Black-Box Environments.
CoRR
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
2022 J jnl
Goal-Aware RSS for Complex Scenarios via Program Logic.
CoRR
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
2022 — conf
Logic for Timed Agent Network Topologies.
CDC
Clovis Eberhart, James Haydon, Jérémy Dubut, Ahmet Cetinkaya, Sasinee Pruekprasert
2022 J jnl
Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis.
CoRR
Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya
2021 — conf
Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications.
CDC
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
2021 J jnl
Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications.
CoRR
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
2021 — conf
Local Opacity Verification for Distributed Discrete Event Systems.
CDC
Sasinee Pruekprasert, Kai Cai
2021 J jnl
Local Opacity Verification for Distributed Discrete Event Systems.
CoRR
Sasinee Pruekprasert, Kai Cai
2020 J jnl
Supervisory Control of Communicating Timed Discrete Event Systems for State Avoidance Problem.
IEEE Control. Syst. Lett.
Sasinee Pruekprasert, Toshimitsu Ushio
2020 C conf
Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications.
ICARCV
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
2020 J jnl
Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications.
CoRR
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
2019 J jnl
A Game Theoretic Approach to Decision Making for Multiple Vehicles at Roundabout.
CoRR
Sasinee Pruekprasert, Jérémy Dubut, Xiaoyi Zhang, Chao Huang, Masako Kishida
2019 — conf
Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles.
ITSC
Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut, Chao Huang, Masako Kishida
2019 J jnl
Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles.
CoRR
Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut, Chao Huang, Masako Kishida
2019 J jnl
Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization.
CoRR
Sasinee Pruekprasert, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, Jérémy Dubut
2017 J jnl
Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem.
IEICE Trans. Inf. Syst.
Sasinee Pruekprasert, Toshimitsu Ushio
2016 J jnl
Optimal Stabilizing Controller for the Region of Weak Attraction under the Influence of Disturbances.
IEICE Trans. Inf. Syst.
Sasinee Pruekprasert, Toshimitsu Ushio
2016 J jnl
Optimal Stabilizing Supervisor of Quantitative Discrete Event Systems under Partial Observation.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Sasinee Pruekprasert, Toshimitsu Ushio
2016 J jnl
Quantitative Supervisory Control Game for Discrete Event Systems.
IEEE Trans. Autom. Control.
Sasinee Pruekprasert, Toshimitsu Ushio, Takafumi Kanazawa
2016 C conf
State-based optimal supervisor for non-terminating quantitative discrete event systems.
ICARCV
Sasinee Pruekprasert, Toshimitsu Ushio
2015 C conf
Optimal directed control of discrete event systems with linear temporal logic constraints.
ETFA
Ami Sakakibara, Sasinee Pruekprasert, Toshimitsu Ushio