Introducing Interval Differential Dynamic Logic.

Daniel Figueiredo

Published in: FSEN (2021)

Keyphrases

dynamic logic
modal logic
reasoning about actions
imperative programs
agent programming
propositional dynamic logic
real time
case study
interval data
multiple input