Raghavan Komondoor - ASE 2023

Mon 11 - Fri 15 September 2023 Kirchberg, Luxembourg

Registered user since Sun 18 Jun 2017

Name:Raghavan Komondoor

Country:India

Affiliation:Indian Institute of Science, India

Personal website: https://www.csa.iisc.ac.in/~raghavan/

Contributions

2023

ASE

Symbolic Fixpoint Algorithms for Logical LTL Games

Show activities from other conferences

ASE 2023-profile
View general profile