Differential Dynamic Logic.

Published in: Arch. Formal Proofs (2017)

Keyphrases

dynamic logic
modal logic
reasoning about actions
imperative programs
agent programming
propositional dynamic logic
machine learning
real time
neural network
social networks
multi agent
fuzzy logic
multi dimensional