Similar Items: Geometric Model Checking of Continuous Space
- Model Checking Spatial Logics for Closure Spaces
- Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
- Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
- The parameterized space complexity of model-checking bounded variable first-order logic
- Learning conditional distributions on continuous spaces
- Using models to model-check recursive schemes