IPL: an integration property language for multi-model cyber-physical systems
From MaRDI portal
Publication:2024345
DOI10.1007/978-3-319-95582-7_10zbMath1460.68065OpenAlexW2808808949MaRDI QIDQ2024345
Ivan Ruchkin, David Garlan, Joshua Sunshine, Bradley Schmerl, Grant Iraci
Publication date: 4 May 2021
Full work available at URL: https://doi.org/10.1007/978-3-319-95582-7_10
Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Combined model checking for temporal, probabilistic, and real-time logics
- IPL: an integration property language for multi-model cyber-physical systems
- Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
- Quantified CTL: Expressiveness and Model Checking
- Supporting Heterogeneity in Cyber-Physical Systems Architectures
- Heterogeneous verification of cyber-physical systems using behavior relations
- Stochastic Model Checking
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
- Solving SAT and SAT Modulo Theories
- Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Simplification by Cooperating Decision Procedures
- Communicating sequential processes
- The classical decision problem.
This page was built for publication: IPL: an integration property language for multi-model cyber-physical systems
