Modal assertions for actor correctness.

Colin S. Gordon

Published in: AGERE!@SPLASH (2019)

Keyphrases

modal logic
real world
knowledge base
computational complexity
information systems
multimedia
high quality
probabilistic model
temporal logic
provably correct