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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

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)