Recommendations
Cites work
- Boolean Abstraction for Temporal Logic Satisfiability
- Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings.
- Counterexamples revisited: principles, algorithms, applications
- Diagnostic Information for Realizability
- scientific article; zbMATH DE number 4124989 (Why is no real title available?)
- scientific article; zbMATH DE number 1487476 (Why is no real title available?)
- scientific article; zbMATH DE number 2102731 (Why is no real title available?)
- scientific article; zbMATH DE number 2112979 (Why is no real title available?)
- Tools and Algorithms for the Construction and Analysis of Systems
- Verification, Model Checking, and Abstract Interpretation
Cited in
(47)- Shield synthesis
- GR(1)*: GR(1) specifications extended with existential guarantees
- Performance heuristics for GR(1) synthesis and related algorithms
- Reactive synthesis with maximum realizability of linear temporal logic specifications
- Extracting unsatisfiable cores for LTL via temporal resolution
- Analysing sanity of requirements for avionics systems
- Least-violating control strategy synthesis with safety rules
- Limited-information control of hybrid systems via reachable set propagation
- Resilient synchronization in robust networked multi-agent systems
- Learning nonlinear hybrid systems: from sparse optimization to support vector regression
- Mining requirements from closed-loop control models
- On the decidability of stability of hybrid systems
- Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares
- Hybrid control Lyapunov functions for the stabilization of hybrid systems
- A toolbox for simulation of hybrid systems in Matlab/Simulink. Hybrid Equations (HyEQ) Toolbox
- Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems
- Zélus: a synchronous language with ODEs
- State estimation for polyhedral hybrid systems and applications to the Godunov scheme
- Observer design for a class of piecewise affine hybrid systems
- Automated analysis of real-time scheduling using graph games
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- One-shot computation of reachable sets for differential games
- Tracking differentiable trajectories across polyhedra boundaries
- Flowpipe approximation and clustering in space-time
- Bounded model-checking of discrete duration calculus
- Optimal CPU allocation to a set of control tasks with soft real-time execution constraints
- Safe schedulability of bounded-rate multi-mode systems
- Compositional heterogeneous abstraction
- Quantitative timed simulation functions and refinement metrics for real-time systems
- Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
- Control design for specifications on stochastic hybrid systems
- Rewarding probabilistic hybrid automata
- Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata
- Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
- Temporal logic model predictive control for discrete-time systems
- Iterative temporal motion planning for hybrid systems in partially unknown environments
- Pricing Diagnostic Information
- Detecting unrealizability of distributed fault-tolerant systems
- Interpolation-based GR(1) assumptions refinement
- Towards a notion of unsatisfiable and unrealizable cores for LTL
- Synthesis of Reactive(1) designs
- Generating diagnostic information for behavioral preorders
- Diagnostic Information for Realizability
- A weakness measure for GR(1) formulae
- A weakness measure for GR(1) formulae
- GR(1)*: GR(1) specifications extended with existential guarantees
This page was built for publication: Diagnostic Information for Realizability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5452707)
