Projects

CALF: Categorial Automata Learning Framework

CoNeCo: Concurrency, Networks, and Coinduction

Probabilistic Foundations for Networks
CALF: Categorial Automata Learning Framework
CoNeCo: Concurrency, Networks, and Coinduction
Probabilistic Foundations for Networks