SERI 2025
Fri 11 - Sat 12 July 2025
Warangal Telangana, India
Toggle navigation
Attending
Venue: National Institute of Technology Warangal 506004 Warangal Telangana India
Accommodation
Student Travel Grant
Sponsorship
Program
Program Schedule
Track/Call
Organization
SERI 2025 Committees
Organizing Committee
Program Committee
Steering Committee
Publicity Chairs
Website and Social Media Committee
Sponsorship Chairs
Registration Chairs
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
SERI 2025
SERI 2024
Sign in
Sign up
SERI 2025
(
series
) /
SERI 2025
/
Symbolic fixpoint algorithms for logical LTL games
Who
Stanly Samuel
,
Deepak D'Souza
,
Raghavan Komondoor
Track
SERI 2025
Stanly Samuel
Indian Institute of Science
India
Deepak D'Souza
Indian Institute of Science
India
Raghavan Komondoor
Indian Institute of Science
India
x
Tue 12 Aug 07:53