Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment.

Published in: HSCC (2009)

Keyphrases

genetic algorithm
neural network
real time
operating environment
management system
dynamic environments
retrieval systems
computing environments
human users
databases
social networks
information systems
object recognition
branch and bound
complex environments