Temporal Synthesis for Bounded Systems and Environments.

Orna Kupferman Yoad Lustig Moshe Y. Vardi Mihalis Yannakakis

Published in: STACS (2011)

Keyphrases

distributed systems
computing systems
systems require
neural network
real world
genetic algorithm
website
digital libraries
mobile robot
computer systems
temporal information
temporal evolution