Policy synthesis and reinforcement learning for discounted LTL. (English) Zbl 07798074
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, 415-435 (2023).