Cheap CTL compassion in NuSMV

DOI10.1007/978-3-030-39322-9_12OpenAlexW3000207228MaRDI QIDQ784136FDOQ784136

Tadeusz Litak, Christoph Rauch, Matthias Zinner, Daniel Hausmann

Publication date: 5 August 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-39322-9_12

zbMATH Keywords

model checkingparity gamesCTL\(\mu\)-calculusfairness and compassionNuSMV

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

   Recommendations

• Title not available (Why is that?) 👍 👎
• Cheap Control Problem in a Critical Case 👍 👎
• Comparative cheap talk 👍 👎
• Cheap decoupled control 👍 👎
• Programs for Cheap! 👍 👎
• Cheap control for a class of non-linear systems 👍 👎
• Title not available (Why is that?) 👍 👎
• Some low cost control problems 👍 👎
• Competitive cheap talk 👍 👎

This page was built for publication: Cheap CTL compassion in NuSMV

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784136)