Similar Items: Subsumption in $mathcal{FL}_{bot mathit{reg}}$ with TBoxes Is in ExpTime
- Inexpressibility in Exp-Minus-Log
- Graded Monad Coalgebras for Continuous-Time Transition Systems
- Constant time testability of first-order logic with modulo counting on finitary graphs
- HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
- Verification of Neural Networks (Lecture Notes)
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic