Efficient Monitoring of omega-Languages.

Marcelo d'Amorim Grigore Rosu

Published in: CAV (2005)

Keyphrases

real time
knowledge base
expressive power
real world
similarity measure
multi agent
search algorithm
computationally expensive
language independent