An axiomatization of verdict equivalence over regular monitors.

Luca Aceto Antonis Achilleos Elli Anastasiadi Anna Ingólfsdóttir

Published in: CoRR (2020)

Keyphrases

general theory
relational databases
search engine
similarity measure
computational complexity
information technology
multiresolution
rough sets
situation calculus
complete axiomatization
interactive dynamic influence diagrams