Automated Technology for Verification and Analysis

DOI10.1007/11562948zbMath1170.68513OpenAlexW4300912265MaRDI QIDQ5491868

Stéphane P. Demri, David E. Nowak

Publication date: 10 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11562948

zbMATH Keywords

controltemporal logicZeno behaviorphysical system

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)

Related Items (2)

Quantitative temporal logics over the reals: PSpace and below ⋮ On Reachability Games of Ordinal Length

This page was built for publication: Automated Technology for Verification and Analysis