Parametric Linear Dynamic Logic.

Peter Faymonville Martin Zimmermann

Published in: GandALF (2014)

Keyphrases

dynamic logic
imperative programs
modal logic
reasoning about actions
database
closed form
linear systems
agent programming
multiple input
general purpose
multi dimensional
semi parametric