Paolo Felli, A.G. (2020). A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems [10.1007/978-3-030-69322-0_17].
A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems
Paolo Felli;
2020
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.