Monitoring Extended Hypernode Logic

Published in IFM, 2024

📝 Marek Chalupa, Thomas A. Henzinger & Ana Oliveira da Costa. (2024). "Monitoring Extended Hypernode Logic." IFM.
Download Paper