Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability.

Alessandro Cimatti, Thomas Mller Grosen, Kim G. Larsen, Stefano Tonetta, Martin Zimmermann

Browse the full SEFM paper archive.