Behavioural Preorders via Graded Monads.

Chase Ford Stefan Milius Lutz Schröder

Published in: LICS (2021)

Keyphrases

collective decision making
data structure
cooperative
agent model
behavioural patterns
artificial intelligence
artificial neural networks
active learning
genetic algorithm
recommender systems
mobile robot
distributed systems
software development
alternating time temporal logic