OVERLAY 2026
Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2026

Table of Contents

• Cover Page, Table of Contents, Preface, and Invited Talk
  Summary: There were 17 papers submitted for peer-review to this workshop. Out of these, 13 papers were accepted for this volume, 5 as regular papers and 8 as short papers.

Regular Papers

• Counting Worlds Branching Time Semantics for Post-Hoc Bias Mitigation in Generative AI 2-11
  Alessandro G. Buda, Giuseppe Primiero, Leonardo Ceragioli, Melissa Antonelli

• Proper Open World Automated Planning 12-27
  Mikhail Soutchanski

• Fairness Certificates via a Lean-Backed Trustworthy Probabilistic Typed Natural Deduction 28-38
  Fabio Aurelio D'Asaro, Giuseppe Primiero

• Towards Verified Computation Graphs for Safety-Critical ML: From Static Model to Execution Semantics 39-47
  João Machado, Ricardo Silva, João Galego, Eric Jenn, Hugo Daniel Macedo, Jorge Sousa Pinto

• Explaining Visual Models with Logic and Concept-Part Networks 48-58
  Mathilde Bonin, Sergio Mover

Short Papers

• Reasoning About Intuitionistic Alternating-Time Temporal Logic 59-64
  Andrea Capone

• Bridging Formal Strategic Reasoning and Video Games 65-70
  Salvatore Romano

• Learning Formal Models of Parametrized Systems 71-75
  Dana Fisman, Noa Izsak, Swen Jacobs

• Progress-Aware Runtime Monitoring of Abstract Scenario Specifications 76-80
  Nelson Brüchmann, Ishan Saxena, Bernd Westphal

• AIRD: Admissibility-Aware Intervention Residual Distillation on a Sparse Tactical Frontier 81-85
  Derun Ai, Laurent Perrussel

• Strategy Logic: Where are we? 86-92
  Bastien Maubert, Aniello Murano

• Towards an Argumentation Protocol in the Event Calculus 93-97
  Periklis Mantenoglou, Alexander Artikis

• A Note on the Fragment of Modal mu-Calculus Equivalent to First Order Logic over Infinite Trees 98-102
  Massimo Benerecetti, Dario Della Monica, Angelo Matteo, Fabio Mogavero, Gabriele Puppis