Stanly Samuel - SERI 2025

Fri 11 - Sat 12 July 2025 Warangal Telangana, India

Registered user since Wed 7 Apr 2021

Name:Stanly Samuel

Country:India

Affiliation:Indian Institute of Science

Research interests:Program Verification, Synthesis

Contributions

2025

SERI

Symbolic fixpoint algorithms for logical LTL games

Show activities from other conferences

SERI 2025-profile
View general profile