Review of Logical Analysis of Hybrid Systems

DOI10.1145/3561612MaRDI QIDQ6120987zbMATH OpenOpenAlexFDO

Authors

Publication date 23 February 2024

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3561612

Mathematics Subject Classification ID

External book reviews (00A17) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Control/observation systems involving computers (process control, etc.) (93C83)

Cites work

• First-order dynamic logic
• scientific article; zbMATH DE number 2087530 (Why is no real title available?)
• Logical foundations of cyber-physical systems

This page was built for publication: Review of Logical Analysis of Hybrid Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6120987)