Compiling Real-Time Specifications into Extended Automata.

Xavier Nicollin Joseph Sifakis Sergio Yovine

Published in: IEEE Trans. Software Eng. (1992)

Keyphrases

real time
finite state machines
low cost
high speed
cellular automata
finite state
real time systems
probabilistic automata
neural network
information retrieval
web services
high level
reinforcement learning
delay insensitive