Graded Computation Tree Logic with Binary Coding

DOI10.1007/978-3-642-15205-4_13zbMath1287.68102OpenAlexW1503593284MaRDI QIDQ3586038

Alessandro Bianco, Fabio Mogavero, Aniello Murano

Publication date: 3 September 2010

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15205-4_13

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

Reasoning About Strategies ⋮ Reasoning about graded strategy quantifiers

This page was built for publication: Graded Computation Tree Logic with Binary Coding