Transparent categories and categories of transition systems

Yehoshafat Give'on

Published in: SWCT (1965)

Keyphrases

case study
transition systems
search algorithm
reinforcement learning
software engineering
software systems
model checking
concurrent systems