Pages that link to "Item:Q4689064"

The following pages link to Logical Foundations of Cyber-Physical Systems (Q4689064):

Displaying 28 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)
• IsaVODEs: Interactive verification of cyber-physical systems at scale (Q6653093) (← links)