Similar Items: Zero-Knowledge Model Checking
- Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes
- Intuitionistic Common Knowledge
- Knowledge Compilation for Quantification in Alternating Automata
- Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
- ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
- Efficient Incremental #SAT via Cross-Instance Knowledge Reuse