ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Journal / Conference

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 1.

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 Tue Apr 16 16:59:02 2024 IST.