Similar Items: On-the-fly LTLf Synthesis under Partial Observability
- Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
- ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
- Verification of Neural Networks (Lecture Notes)
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
- Automaton-based Characterisations of First Order Logic over Infinite Trees
- Pseudo-Complex Quantifier Elimination