Sasinee Pruekprasert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2015–2025
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICTAC | AP-Observation Automata for Abstraction-Based Verification of Continuous-Time Systems. | Sasinee Pruekprasert, Clovis Eberhart |
| 2024 | ICTAC | Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control. | Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo |
| 2022 | ATVA | Dynamic Shielding for Reinforcement Learning in Black-Box Environments. | Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo |
| 2020 | ICARCV | Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications. | Sasinee Pruekprasert, Clovis Eberhart, Jrmy Dubut |
| 2016 | ICARCV | State-based optimal supervisor for non-terminating quantitative discrete event systems. | Sasinee Pruekprasert, Toshimitsu Ushio |
| 2015 | ETFA | Optimal directed control of discrete event systems with linear temporal logic constraints. | Ami Sakakibara, Sasinee Pruekprasert, Toshimitsu Ushio |