Similar Items: Intuitionistic Common Knowledge
- Zero-Knowledge Model Checking
- 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
- Verification of Neural Networks (Lecture Notes)