( en | de | ru )

 

Disambiguation of "Pruekprasert, Sasinee"

Author of the publication

copydeleteadd this publication to your clipboard
State-based optimal supervisor for non-terminating quantitative discrete event systems.

, and . ICARCV, page 1-6. IEEE, (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

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

Other publications of authors with the same name

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