Deterministic omega-regular liveness properties.

Frank Nießner Ulrich Nitsche Peter Ochsenschläger

Published in: Developments in Language Theory (1997)

Keyphrases

real world
desirable properties
computational complexity
data sets
social networks
information systems
cooperative
evolutionary algorithm
special case
black box
key properties