Hybrid specification of control systems.

K. Brink L. J. G. Bun Jan van Katwijk W. J. Toetenel

Published in: ICECCS (1995)

Keyphrases

control system
machine learning
real time
search engine
decision making
mobile robot
dynamic environments
formal specification
specification language
formal verification