Casaal

swMATH10130MaRDI QIDQ22098FDOQ22098

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-28717-6_15

Cited In (8)

• Model-based verification, optimization, synthesis and performance evaluation of real-time systems
• Monitor-based statistical model checking for weighted metric temporal logic
• A logic of behaviour in context
• Monitoring timed properties (revisited)
• Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
• MoMo
• APMC
• UPPAAL TIGA

This page was built for software: Casaal