Gabriel Kalyon

Available identifiers

zbMath Open kalyon.gabrielMaRDI QIDQ434467

List of research outcomes

Publication	Date of Publication	Type
Symbolic Supervisory Control of Distributed Systems With Communications	2017-05-16	Paper
Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation	2012-07-10	Paper
Decentralized control of infinite systems	2011-11-08	Paper
Lattice-Valued Binary Decision Diagrams	2010-10-04	Paper
Testing Distributed Systems Through Symbolic Model Checking	2009-03-10	Paper

Research outcomes over time

This page was built for person: Gabriel Kalyon