Modeling C0 Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals
Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning
Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract)
Parallel Verification of Natural Deduction Proof Graphs
The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds
CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms
Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems