Sign in

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