Ashish
Mishra
Toggle navigation
about
publications
projects
teaching
students
Announcement_15
August 15, 2025
2025
New
draft
, Qualified Tree Automata for efficient Component-Based Synthesis