Dash: declarative behavioural modelling in Alloy with control state hierarchy.

José Serna Nancy A. Day Shahram Esmaeilsabzali

Published in: Softw. Syst. Model. (2023)

Keyphrases

state space
domain independent
real time
database systems
multi agent
learning environment
control system
hidden markov models
higher level
hierarchical structure
control strategy