Samuel, S and D'Souza, D and Komondoor, R
(2023)
Symbolic Fixpoint Algorithms for Logical LTL Games.
In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, 11 - 15 September 2023, Echternach, pp. 698-709.
This list was generated on Mon May 6 05:11:09 2024 IST.