Quantitative Temporal Simulation and Refinement Distances for Timed Systems
From MaRDI portal
Publication:2982579
DOI10.1109/TAC.2015.2404612zbMath1360.68545OpenAlexW1495801401MaRDI QIDQ2982579
Krishnendu Chatterjee, Vinayak S. Prabhu
Publication date: 16 May 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2015.2404612
2-person games (91A05) Games involving graphs (91A43) Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards, Bidirectional nested weighted automata