A Symbolic Decision Procedure for Robust Safety of Timed Systems.

Mani Swaminathan Martin Fränzle

Published in: TIME (2007)

Keyphrases

artificial intelligence
learning systems
decision making
distributed systems
computer systems
database
data sets
databases
multi agent
management system
retrieval systems