The Modal Transition System Control Problem

DOI10.1007/978-3-642-32759-9_15zbMath1372.68184OpenAlexW1480983276MaRDI QIDQ4647840

Nicolas D'Ippolito, Nir Piterman, Victor Braberman, Sebastian Uchitel

Publication date: 8 November 2012

Published in: FM 2012: Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32759-9_15

Mathematics Subject Classification ID

Synthesis problems (93B50) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

On tolerance of discrete systems with respect to transition perturbations

This page was built for publication: The Modal Transition System Control Problem