A paper by Kittiphon Phalakarn, Ichiro Hasuo and other was awarded as the Best Paper Award of The 21st International Colloquium on Theoretical Aspects of Computing (ICTAC 2024).
Authors
Kittiphon Phalakarn(National Institute of Informatics )
Sasinee Pruekprasert(National Institute of Advanced Industrial Science and Technology)
Ichiro Hasuo(National Institute of Informatics)
Awarded Paper Title
Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control