Final version of the paper presented at CAV 2026 now available

 

 

Following Luca Di Stefano’s presentation at CAV 2026 (Computer-Aided Verification), held as part of FLoC 2026 (Federated Logic Conference) in Lisbon, Portugal, the final version of the paper is now available online.

The paper, titled “Sweap: Reactive Synthesis for Infinite-State Integer Problems,” was co-authored with Shaun Azzopardi (University of Malta) and Nir Piterman (University of Gothenburg).

The full paper is available here

Congratulations to Luca on this presentation and publication.