Deriving a Hoare-Floyd logic for non-local jumps from a formulae-as-types notion of control

Tristan Crolard Emmanuel Polonowski

Published in: CoRR (2011)

Keyphrases

control system
markov chain
modal logic
process control
control problems
epistemic logic
image data
robotic systems
control method
control theory
computational properties
set theory