Visibly Linear Dynamic Logic.

Alexander Weinert Martin Zimmermann

Published in: CoRR (2015)

Keyphrases

dynamic logic
reasoning about actions
modal logic
neural network
closed form
multiple input
imperative programs
data sets
mobile robot
linear constraints
machine learning
information systems
transfer function
linear systems