ATVA 2025
Mon 27 - Fri 31 October 2025
Bengaluru, India
Toggle navigation
Attending
Venue: International Institute of Information Technolgy, Bangalore
Registration
Visa Information
Accommodation Information
Travel Support
Local Information
Sponsorship
Program
ATVA Program
Your Program
Program at a Glance
Proceedings
Mon 27 Oct
Tue 28 Oct
Wed 29 Oct
Thu 30 Oct
Fri 31 Oct
Tracks
ATVA 2025
Invited Talks
NIER
ATVA Papers
Tutorials and Workshops
APLAS Papers
Organization
ATVA 2025 Committees
Artifact Evaluation Committee
Programme Committee
Organizing Committee
General Chair
Contributors
People Index
Search
Series
Series
ATVA 2025
ATVA 2024
ATVA 2023
ATVA 2022
ATVA 2021
ATVA 2020
ATVA 2019
ATVA 2018
ATVA 2017
ATVA 2016
ATVA 2015
ATVA 2014
ATVA 2013
ATVA 2012
ATVA 2011
ATVA 2010
ATVA 2009
ATVA 2008
ATVA 2007
ATVA 2006
ATVA 2005
ATVA 2004
ATVA 2003
Sign in
Sign up
ATVA 2025
(
series
) /
International Institute of Information Technolgy, Bangalore
/
Room information: R102
Venue
International Institute of Information Technolgy, Bangalore
Room name
R102
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
.
Use conference time zone: (GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 27 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
09:30 - 10:30
NIER 1
NIER
at
R102
09:30
30m
Talk
Regular Theories and How to Decide Them
NIER
Umang Mathur
National University of Singapore, Singapore
10:00
30m
Talk
Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation
NIER
Sajiv Kumar J.S.
,
Raghavan Komondoor
Indian Institute of Science
11:00 - 12:30
NIER 2
NIER
at
R102
11:00
30m
Talk
Property Grouping and Context-Aware Runtime Enforcement
NIER
Saumya Shankar
International Institute of Information Technology Bangalore
,
Srinivas Pinisetty
Indian Institute of Technology Bhubaneswar
,
Thierry Jéron
INRIA
11:30
30m
Talk
Compositional Probabilistic Model Checking with String Diagrams of MDPs
NIER
Ichiro Hasuo
National Institute of Informatics, Japan
12:00
30m
Talk
PhantomDrive: A Privacy-Focused Navigation System for Concealing User Movements
NIER
Inzemamul Haque
Indian Institute of Technology Kanpur
,
Pankaj Siwan
,
Indranil Saha
IIT Kanpur
14:00 - 14:30
NIER 3
NIER
at
R102
14:00
30m
Talk
Bidding Your Way to Better Decisions
NIER
Guy Avni
University of Haifa
,
Kaushik Mallik
IST Austria, Austria
,
Suman Sadhukhan
14:30 - 15:30
Tutorial 1 Part 1
Tutorials and Workshops
at
R102
Chair(s):
Raghavan Komondoor
Indian Institute of Science
14:30
60m
Tutorial
Replicated Data Types
Tutorials and Workshops
Kartik Nagar
IIT Madras
16:00 - 17:00
Tutorial 1 Part 2
Tutorials and Workshops
at
R102
Chair(s):
Raghavan Komondoor
Indian Institute of Science
16:00
60m
Tutorial
Replicated Data Types
Tutorials and Workshops
Kartik Nagar
IIT Madras
Tue 28 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
11:00 - 12:30
Automata
ATVA Papers
at
R102
Chair(s):
Srinivas Pinisetty
Indian Institute of Technology Bhubaneswar
11:00
30m
Paper
Componentwise Automata Learning for System Integration
Distinguished Paper
ATVA Papers
Hiroya Fujinami
,
Masaki Waga
Kyoto University
,
Jie An
Institute of Software Chinese Academy of Sciences
,
Kohei Suenaga
Graduate School of Informatics, Kyoto University
,
Nayuta Yanagisawa
,
Hiroki Iseri
NPO ASTER Minato-ku, Tokyo
,
Ichiro Hasuo
National Institute of Informatics, Japan
11:30
30m
Paper
Learning Event-recording Automata Passively
ATVA Papers
Anirban Majumdar
,
Sayan Mukherjee
Univ Rennes, Inria, CNRS, IRISA, France
,
Jean-François Raskin
Université Libre de Bruxelles
12:00
15m
Paper
TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets (tool paper)
ATVA Papers
Bruno Maria René Gonzalez
TU Berlin, Germany
,
Peter Gjøl Jensen
Aalborg University, Denmark
,
Jiri Srba
,
Stefan Schmid
TU Berlin, Germany
,
Martin Zimmermann
University of Liverpool
14:00 - 15:30
Verification I
ATVA Papers
at
R102
Chair(s):
Kartik Nagar
IIT Madras
14:00
30m
Paper
Data Structures for Finite Downsets of Natural Vectors: Theory and Practice
ATVA Papers
Michaël Cadilhac
,
Vanessa Fluegel
University of Antwerp, Antwerp, Belgium
,
Guillermo A. Perez
University of Antwerp
,
Shrisha Rao
University of Antwerp, Antwerp, Belgium
14:30
30m
Paper
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
ATVA Papers
Linus Heck
Radboud University
,
Tim Quatmann
RWTH Aachen University
,
Jip Spel
RWTH Aachen University
,
Joost-Pieter Katoen
RWTH Aachen University
,
Sebastian Junges
Radboud University
15:00
30m
Paper
Antarbhukti: Verifying Correctness of PLC Software during System Evolution
ATVA Papers
Soumyadip Bandyopadhyay
ACM Member
,
Santonu Sarkar
BITS Pilani, India
Pre-print
16:00 - 17:30
Hybrid and Dynamical Systems
ATVA Papers
at
R102
Chair(s):
Govind Rajanbabu
Uppsala University
16:00
30m
Paper
Control Closure Certificates
ATVA Papers
Vishnu Murali
University of Colorado Boulder
,
Mohammed Adib Oumer
University of Colorado Boulder
,
Majid Zamani
16:30
30m
Paper
Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-like Certificates
ATVA Papers
Ludovico Battista
Fondazione Bruno Kessler (FBK)
,
Stefano Tonetta
tonettas@fbk.eu
17:00
15m
Paper
Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE (tool paper)
ATVA Papers
Luca Cardelli
Microsoft Research and University of Oxford
,
Giuseppe Squillace
,
Mirco Tribastone
IMT Institute for Advanced Studies Lucca, Italy
,
Max Tschaikowski
IMT Institute for Advanced Studies Lucca, Italy
,
Andrea Vandin
DTU, Denmark
Wed 29 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
11:00 - 12:30
Games
ATVA Papers
at
R102
Chair(s):
Sayan Mukherjee
Univ Rennes, Inria, CNRS, IRISA, France
11:00
30m
Paper
Energy Games with Weight Uncertainty
ATVA Papers
Orna Kupferman
Hebrew University
,
Naama Shamash Halevy
The Hebrew University
11:30
30m
Paper
Quantitative Strategy Templates
ATVA Papers
Ashwani Anand
Max Planck Institute for Software Systems
,
Satya Prakash Nayak
Max Planck Institute for Software Systems (MPI-SWS)
,
Ritam Raha
University of Antwerp, Antwerp, Belgium
,
Irmak Saglam
Max Planck Institute for Software Systems (MPI-SWS)
,
Anne-Kathrin Schmuck
Max Planck Institute for Software Systems
12:00
30m
Paper
Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
ATVA Papers
Kittiphon Phalakarn
National Institute of Informatics
,
Yun Chen Tsai
National Institute of Informatics, Japan
,
Ichiro Hasuo
National Institute of Informatics, Japan
14:00 - 15:30
Monitoring and Runtime Verification
ATVA Papers
at
R102
Chair(s):
Ichiro Hasuo
National Institute of Informatics, Japan
14:00
30m
Paper
Efficient Dynamic Shielding for Parametric Safety Specifications
ATVA Papers
Davide Corsi
University of California, Irvine
,
Kaushik Mallik
IST Austria, Austria
,
Andoni Rodríguez
IMDEA Software Institute, Spain
,
César Sánchez
IMDEA Software Institute
14:30
30m
Paper
Learning Verified Monitors for Hidden Markov Models
ATVA Papers
Luko van der Maas
Radboud University Nijmegen, Netherlands
,
Sebastian Junges
Radboud University
15:00
30m
Paper
Prompt Runtime Enforcement
ATVA Papers
Ayush Anand
Indian Institute of Technology Bhubaneswar
,
Loïc Germerie Guizouarn
University of Rennes, France / Inria, France / CNRS, France / IRISA, France
,
Thierry Jéron
INRIA
,
Sayan Mukherjee
Univ Rennes, Inria, CNRS, IRISA, France
,
Srinivas Pinisetty
Indian Institute of Technology Bhubaneswar
,
Ocan Sankur
University of Rennes, France / Inria, France / CNRS, France / IRISA, France
Thu 30 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
11:00 - 12:30
Learning
ATVA Papers
at
R102
Chair(s):
Kittiphon Phalakarn
National Institute of Informatics
11:00
30m
Paper
Inductive Generalization in Reinforcement Learning from Specifications
ATVA Papers
Vignesh Subramanian
,
Rohit Kushwah
,
Subhajit Roy
IIT Kanpur
,
Suguman Bansal
Georgia Institute of Technology, USA
11:30
30m
Paper
Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
ATVA Papers
Aniruddha Joshi
UC Berkeley
,
Supratik Chakraborty
IIT Bombay
,
S. Akshay
,
Shetal Shah
IIT Bombay, India
,
Hazem Torfah
Chalmers University of Technology
,
Sanjit Seshia
UC Berkeley
12:00
30m
Paper
Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification
ATVA Papers
Yuke Liao
CNRS@CREATE, Singapore
,
Blaise Genest
IPAL - CNRS - CNRS@CREATE
,
Kuldeep S. Meel
National University of Singapore
,
Shaan Aryaman
NYU
14:00 - 15:00
Verification II
ATVA Papers
at
R102
Chair(s):
Ahmed Bouajjani
IRIF, Université Paris Diderot
14:00
30m
Paper
Towards Unified Probabilistic Verification and Validation of Vision based Autonomy
ATVA Papers
Jordan Peper
University of Florida, USA
,
Yan Miao
University of Illinois Urbana-Champaign
,
Sayan Mitra
University of Illinois at Urbana-Champaign
,
Ivan Ruchkin
University of Florida
14:30
15m
Paper
PolyQEnt: A Polynomial Quantified Entailment Solver (tool paper)
Distinguished Tool Paper
ATVA Papers
Krishnendu Chatterjee
IST Austria
,
Amir Kafshdar Goharshady
University of Oxford
,
Ehsan Kafshdar Goharshady
,
Mehrdad Karrabi
,
Milad Saadat
Sharif University of Technology, Iran
,
Maximilian Seeliger
Vienna University of Technology, Austria
,
Đorđe Žikelić
Singapore Management University, Singapore
14:45
15m
Paper
Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing (tool paper)
ATVA Papers
Sebastiaan Brand
,
Alfons Laarman
Leiden University
15:00 - 16:00
Tutorial 2 Part 1
Tutorials and Workshops
at
R102
Chair(s):
B Srivathsan
Chennai Mathematical Institute
15:00
60m
Tutorial
Quantitative and Probabilistic Verification
Tutorials and Workshops
Benjamin Lucien Kaminski
Saarland University; University College London
16:30 - 17:30
Tutorial 2 Part 2
Tutorials and Workshops
at
R102
Chair(s):
B Srivathsan
Chennai Mathematical Institute
16:30
60m
Tutorial
Quantitative and Probabilistic Verification
Tutorials and Workshops
Benjamin Lucien Kaminski
Saarland University; University College London
Mon 27 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
R102
NIER
NIER 1
NIER
NIER 2
NIER
NIER 3
Tutorials and Workshops
Tutorial 1 Part 1
Tutorials and Workshops
Tutorial 1 Part 2
Tue 28 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
R102
ATVA Papers
Automata
ATVA Papers
Verification I
ATVA Papers
Hybrid and Dynamical Systems
Wed 29 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
R102
ATVA Papers
Games
ATVA Papers
Monitoring and Runtime Verification
Thu 30 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
R102
ATVA Papers
Learning
ATVA Papers
Verification II
Tutorials and Workshops
Tutorial 2 Part 1
Tutorials and Workshops
Tutorial 2 Part 2
Mon 27 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
R102
ATVA NIER
Regular Theories and How to Decide Them
09:30 - 10:00
ATVA NIER
Controller Synthesis for Reactive Systems with Communication Delay by ...
10:00 - 10:30
ATVA NIER
Property Grouping and Context-Aware Runtime Enforcement
11:00 - 11:30
ATVA NIER
Compositional Probabilistic Model Checking with String Diagrams of MDPs
11:30 - 12:00
ATVA NIER
PhantomDrive: A Privacy-Focused Navigation System for Concealing User ...
12:00 - 12:30
ATVA NIER
Bidding Your Way to Better Decisions
14:00 - 14:30
ATVA Tutorials and Workshops
Replicated Data Types
14:30 - 15:30
ATVA Tutorials and Workshops
Replicated Data Types
16:00 - 17:00
Tue 28 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
R102
ATVA Papers
Distinguished Paper
Componentwise Automata Learning for System Integration
11:00 - 11:30
ATVA Papers
Learning Event-recording Automata Passively
11:30 - 12:00
ATVA Papers
TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets (too ...
12:00 - 12:15
ATVA Papers
Data Structures for Finite Downsets of Natural Vectors: Theory and Practice
14:00 - 14:30
ATVA Papers
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov ...
14:30 - 15:00
ATVA Papers
Antarbhukti: Verifying Correctness of PLC Software during System Evolution
15:00 - 15:30
ATVA Papers
Control Closure Certificates
16:00 - 16:30
ATVA Papers
Deriving Liveness Properties of Hybrid Systems from Reachable Sets and ...
16:30 - 17:00
ATVA Papers
Evaluation, Reduction, and Approximation of Dynamical Systems and Netwo ...
17:00 - 17:15
Wed 29 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
R102
ATVA Papers
Energy Games with Weight Uncertainty
11:00 - 11:30
ATVA Papers
Quantitative Strategy Templates
11:30 - 12:00
ATVA Papers
Widest Path Games and Maximality Inheritance in Bounded Value Iteration ...
12:00 - 12:30
ATVA Papers
Efficient Dynamic Shielding for Parametric Safety Specifications
14:00 - 14:30
ATVA Papers
Learning Verified Monitors for Hidden Markov Models
14:30 - 15:00
ATVA Papers
Prompt Runtime Enforcement
15:00 - 15:30
Thu 30 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
R102
ATVA Papers
Inductive Generalization in Reinforcement Learning from Specifications
11:00 - 11:30
ATVA Papers
Locally Pareto-Optimal Interpretations for Black-Box Machine Learning M ...
11:30 - 12:00
ATVA Papers
Solution-aware vs global ReLU selection: partial MILP strikes back for ...
12:00 - 12:30
ATVA Papers
Towards Unified Probabilistic Verification and Validation of Vision bas ...
14:00 - 14:30
ATVA Papers
Distinguished Tool Paper
PolyQEnt: A Polynomial Quantified Entailment Solver (tool paper)
14:30 - 14:45
ATVA Papers
Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing (to ...
14:45 - 15:00
ATVA Tutorials and Workshops
Quantitative and Probabilistic Verification
15:00 - 16:00
ATVA Tutorials and Workshops
Quantitative and Probabilistic Verification
16:30 - 17:30
x
Sat 25 Oct 12:53