Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.

Gerd Behrmann Kim Guldstrand Larsen Jacob Illum Rasmussen

Published in: FORMATS (2005)

Keyphrases

cost effective
data sets
lightweight
information retrieval
artificial intelligence
case study
three dimensional
multiscale
digital libraries
mobile robot
computationally expensive