From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

No persons found for author name Pruekprasert, Sasinee
add a person with the name Pruekprasert, Sasinee
 

Другие публикации лиц с тем же именем

Local Opacity Verification for Distributed Discrete Event Systems., и . CDC, стр. 7022-7027. IEEE, (2021)Optimal Stabilizing Controller for the Region of Weak Attraction under the Influence of Disturbances., и . IEICE Trans. Inf. Syst., 99-D (6): 1428-1435 (2016)Logic for Timed Agent Network Topologies., , , , и . CDC, стр. 2870-2877. IEEE, (2022)Dynamic Shielding for Reinforcement Learning in Black-Box Environments., , , , , и . ATVA, том 13505 из Lecture Notes in Computer Science, стр. 25-41. Springer, (2022)Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications., , и . ICARCV, стр. 548-554. IEEE, (2020)Quantitative Supervisory Control Game for Discrete Event Systems., , и . IEEE Trans. Autom. Control., 61 (10): 2987-3000 (2016)Goal-Aware RSS for Complex Scenarios via Program Logic., , , , , , , , , и 5 other автор(ы). CoRR, (2022)State-based optimal supervisor for non-terminating quantitative discrete event systems., и . ICARCV, стр. 1-6. IEEE, (2016)Winning Strategy Templates for Stochastic Parity Games towards Permissive and Resilient Control., , и . CoRR, (2024)A Game Theoretic Approach to Decision Making for Multiple Vehicles at Roundabout., , , , и . CoRR, (2019)