Inductive Generalization in Reinforcement Learning from Specifications (ATVA 2025 - ATVA Papers) - ATVA 2025

Mon 27 - Fri 31 October 2025 Bengaluru, India

Who

Vignesh Subramanian, Subhajit Roy, Suguman Bansal

Track

ATVA 2025 ATVA Papers

This program is tentative and subject to change.

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 DelhiSelect other time zone

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 programSpecify a time band

When

Thu 30 Oct 2025 11:00 - 11:30 at R102 - Learning Chair(s): Kittiphon Phalakarn

Vignesh Subramanian

Subhajit Roy

IIT Kanpur

India

Suguman Bansal

Georgia Institute of Technology, USA

United States

This program is tentative and subject to change.

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 DelhiSelect other time zone

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 programSpecify a time band

Session Program

Thu 30 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

	11:00 - 12:30	LearningATVA 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 , 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 Supratik Chakraborty IIT Bombay, S. Akshay , Hazem Torfah Chalmers University of Technology
	12:00 30m Paper		Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification ATVA Papers Blaise Genest IPAL - CNRS - CNRS@CREATE, Kuldeep S. Meel National University of Singapore