On the Specification of Elementary Reactive Behaviour.

G. Michele Pinna Axel Poigné

Published in: MFPS (1993)

Keyphrases

reactive systems
high level
specification language
data sets
information retrieval
formal verification
user behaviour
genetic algorithm
e learning
optimal solution
expert systems
agent architecture
business rules
human behaviour
asynchronous circuits
provably correct