| 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 | 36 | 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 | 15 | 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, 2022 | 9 | 2022 |
| 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 | 9 | 2017 |
| 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 | 8 | 2020 |
| 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 | 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 |
| 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 |
| 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 | 5 | 2019 |
| 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 | 4 | 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 |
| 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 | 2 | 2022 |
| 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 |
| 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 | 1 | 2017 |
| 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 |
| Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis S Pruekprasert, J Dubut, T Takisaka, C Eberhart, A Cetinkaya Automatica 160, 111441, 2024 | | 2024 |
| Logic for Timed Agent Network Topologies C Eberhart, J Haydon, J Dubut, A Cetinkaya, S Pruekprasert 2022 IEEE 61st Conference on Decision and Control (CDC), 2870-2877, 2022 | | 2022 |
| Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications S Pruekprasert, C Eberhart, J Dubut 2021 60th IEEE Conference on Decision and Control (CDC), 1321-1328, 2021 | | 2021 |
