Verification complexity of a class of observational properties for modular discrete events systems

From MaRDI portal
Publication:1679097

DOI10.1016/j.automatica.2017.06.013zbMath1373.93220OpenAlexW2730583255MaRDI QIDQ1679097

Stéphane Lafortune, Xiang Yin

Publication date: 8 November 2017

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2017.06.013




Related Items (9)


Uses Software


Cites Work




This page was built for publication: Verification complexity of a class of observational properties for modular discrete events systems