A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with Internal Moves.

Published in: CONCUR (2018)

Keyphrases

building blocks
image sequences
expert systems
recommender systems
control system
management system
distributed systems
computational intelligence
systems require
computing systems
embedded systems
learning systems
knowledge based systems
computer systems
computer vision
three dimensional
decision trees