Carlo Motta

From MaRDI portal
Person:2089625

Available identifiers

zbMath Open motta.carloMaRDI QIDQ2089625

List of research outcomes





PublicationDate of PublicationType
Corrigendum to: ``Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques2025-01-08Paper
Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques2023-06-26Paper
Optimization-based assessment of initial-state opacity in Petri nets2022-10-23Paper
An optimization-based approach to assess non-interference in labeled and bounded Petri net systems2022-04-08Paper

Research outcomes over time

This page was built for person: Carlo Motta

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2089625&oldid=6560772"
Powered by MediaWiki