Pages that link to "Item:Q4689064"
From MaRDI portal
The following pages link to Logical Foundations of Cyber-Physical Systems (Q4689064):
Displaying 27 items.
- Book review of: A. Platzer, Logical foundations of cyber-physical systems (Q782501) (← links)
- Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness (Q832206) (← links)
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q2055849) (← links)
- Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow (Q2072065) (← links)
- Constructive hybrid games (Q2096468) (← links)
- Learning explanations for biological feedback with delays using an event calculus (Q2102315) (← links)
- Implicit definitions with differential equations for KeYmaera X (system description) (Q2104559) (← links)
- Moded and continuous abstract state machines (Q2115900) (← links)
- Adding proof calculi to epistemic logics with structured knowledge (Q2145260) (← links)
- Deductive stability proofs for ordinary differential equations (Q2233505) (← links)
- Towards physical hybrid systems (Q2305415) (← links)
- Epistemic logics with structured knowledge (Q2333672) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- (Q5019670) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
- Relational Differential Dynamic Logic (Q5039509) (← links)
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL (Q5098720) (← links)
- Notes on Recent Achievements in Proving Stability using KeYmaeraX (Q5870861) (← links)
- The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q6076350) (← links)
- A dynamic logic with branching modalities (Q6151608) (← links)
- On proving that an unsafe controller is not proven safe (Q6151623) (← links)
- Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs (Q6152664) (← links)
- Parallel composition and modular verification of computer controlled systems in differential dynamic logic (Q6535960) (← links)
- An axiomatic approach to liveness for differential equations (Q6535961) (← links)