Guessing winning policies in LTL synthesis by semantic learning. (English) Zbl 07798073
Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13964, 390-414 (2023).