A modal characterization of alternating approximate bisimilarity
From MaRDI portal
Publication:479808
DOI10.1007/s10703-013-0201-9zbMath1300.93114arXiv1212.5139MaRDI QIDQ479808
Publication date: 5 December 2014
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1212.5139
finite abstractions; alternating approximate bisimilarity; control systems with disturbances; modal characterization; temporal logical specification
93C65: Discrete event control/observation systems
68Q60: Specification and verification (program logics, model checking, etc.)