Cheap CTL compassion in NuSMV

DOI10.1007/978-3-030-39322-9_12MaRDI QIDQ784136zbMATH OpenOpenAlexFDO

Authors Daniel Hausmann, Tadeusz Litak, Christoph Rauch, Matthias Zinner

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

• scientific article; zbMATH DE number 3856423
• 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
• scientific article; zbMATH DE number 4069668
• 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)