Toward Structured Proofs for Dynamic Logics.

Brandon Bohrer André Platzer

Published in: CoRR (2019)

Keyphrases

real world
dynamic environments
database
structured data
decision procedures
neural network
case study
probabilistic model
expressive power
artificial intelligence
mobile robot
modal logic
dynamically changing