C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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