| Decision making for autonomous vehicles at unsignalized intersection in presence of malicious vehicles S Pruekprasert, X Zhang, J Dubut, C Huang, M Kishida 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 2299-2304, 2019 | 42 | 2019 |
| Quantitative supervisory control game for discrete event systems S Pruekprasert, T Ushio, T Kanazawa IEEE Transactions on Automatic Control 61 (10), 2987-3000, 2015 | 18 | 2015 |
| Goal-aware RSS for complex scenarios via program logic I Hasuo, C Eberhart, J Haydon, J Dubut, R Bohrer, T Kobayashi, ... IEEE Transactions on Intelligent Vehicles 8 (4), 3040-3072, 2022 | 13 | 2022 |
| Supervisory control of communicating timed discrete event systems for state avoidance problem S Pruekprasert, T Ushio IEEE Control Systems Letters 4 (1), 259-264, 2019 | 10 | 2019 |
| Supervisory control of partially observed quantitative discrete event systems for fixed-initial-credit energy problem S Pruekprasert, T Ushio IEICE transactions on Information and Systems 100 (6), 1166-1171, 2017 | 10 | 2017 |
| Dynamic shielding for reinforcement learning in black-box environments M Waga, E Castellano, S Pruekprasert, S Klikovits, T Takisaka, I Hasuo International Symposium on Automated Technology for Verification and …, 2022 | 9 | 2022 |
| A game theoretic approach to decision making for multiple vehicles at roundabout S Pruekprasert, J Dubut, X Zhang, C Huang, M Kishida arXiv preprint arXiv:1904.06224, 2019 | 8 | 2019 |
| Optimal stabilizing controller for the region of weak attraction under the influence of disturbances S Pruekprasert, T Ushio IEICE TRANSACTIONS on Information and Systems 99 (6), 1428-1435, 2016 | 8 | 2016 |
| Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization S Pruekprasert, T Takisaka, C Eberhart, A Cetinkaya, J Dubut IFAC-PapersOnLine 53 (2), 14462-14469, 2020 | 7 | 2020 |
| Optimal stabilizing supervisor of quantitative discrete event systems under partial observation S Pruekprasert, T Ushio IEICE Transactions on Fundamentals of Electronics, Communications and …, 2016 | 7 | 2016 |
| Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis S Pruekprasert, J Dubut, T Takisaka, C Eberhart, A Cetinkaya arXiv preprint arXiv:2201.08648, 2022 | 3 | 2022 |
| Temperature-aware frequency assignment for MP-SoC using potential games T Kanazawa, T Ando, T Ushio, S Pruekprasert Transactions of the Institute of Systems, Control and Information Engineers …, 2013 | 3 | 2013 |
| Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem P Sasinee, U Toshimitsu IEICE Transactions on Information and Systems 100 (6), 1166-1171, 2017 | 2 | 2017 |
| Local Opacity Verification for Distributed Discrete Event Systems S Pruekprasert, K Cai | 1 | 2021 |
| Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications S Pruekprasert, C Eberhart, J Dubut 2020 16th International Conference on Control, Automation, Robotics and …, 2020 | 1 | 2020 |
| Energy-base deadlock-free supervisory control of quantitative discrete event systems under Partial Observation S Pruekprasert, T Ushio IEICE Proceedings Series 61 (M2-1-6), 2016 | 1 | 2016 |
| Optimal directed control of discrete event systems with linear temporal logic constraints A Sakakibara, S Pruekprasert, T Ushio 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation …, 2015 | 1 | 2015 |
| Winning Strategy Templates for Stochastic Parity Games towards Permissive and Resilient Control K Phalakarn, S Pruekprasert, I Hasuo Theoretical Aspects of Computing–ICTAC 2024: 21st International Colloquium …, 2025 | | 2025 |
| Safe Arrival Scheduling at Constraint Waypoints in UAM Corridors S Pruekprasert, S Nakadai AIAA SCITECH 2025 Forum, 2232, 2025 | | 2025 |
| Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control K Phalakarn, S Pruekprasert, I Hasuo International Colloquium on Theoretical Aspects of Computing, 197-214, 2024 | | 2024 |
