Proving the Existence of Fair Paths in Infinite-State Systems.

Alessandro Cimatti Alberto Griggio Enrico Magnago

Published in: VMCAI (2021)

Keyphrases

management system
real time
building blocks
retrieval systems
computer systems
website
image processing
real world
databases
similarity measure
multi agent
computational intelligence
software development
intelligent systems
machine learning
knowledge based systems
learning systems