Safe environmental envelopes of discrete systems

DOI10.1007/978-3-031-37706-8_17zbMath1547.68444MaRDI QIDQ6535638

Rômulo Meira-Góes, Eunsuk Kang, Unnamed Author, Stavros Tripakis, Stéphane Lafortune

Publication date: 1 February 2024

zbMATH Keywords

robustnessmodel uncertaintydiscrete transition systems

Mathematics Subject Classification ID

Design techniques (robust design, computer-aided design, etc.) (93B51) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Safe environmental envelopes of discrete systems