Monitoring Hypernode Logic Over Infinite Domains

Published in RV, 2025

📝 Marek Chalupa, Thomas A. Henzinger & Ana Oliveira da Costa. (2025). "Monitoring Hypernode Logic Over Infinite Domains." RV.
Download Paper