RealSpec: An Executable Specification Language for Modeling Control Systems.

Amir A. Khwaja Joseph E. Urban

Published in: ISORC (2009)

Keyphrases

specification language
formal specification
control system
description language
programming language
model checking
building blocks
requirements specification
high level
reinforcement learning
open source
dynamic environments
multiagent systems
search strategies
software environment