A design of GPU-based quantitative model checking
From MaRDI portal
Publication:2234091
Recommendations
Cites work
- scientific article; zbMATH DE number 3770836 (Why is no real title available?)
- scientific article; zbMATH DE number 2005717 (Why is no real title available?)
- scientific article; zbMATH DE number 1507210 (Why is no real title available?)
- scientific article; zbMATH DE number 3997612 (Why is no real title available?)
- scientific article; zbMATH DE number 7088727 (Why is no real title available?)
- scientific article; zbMATH DE number 3237829 (Why is no real title available?)
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- A new polynomial-time algorithm for linear programming
- A theory of timed automata
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- BFS-based model checking of linear-time properties with an application on GPUs
- Bounded Model Checking of Hybrid Systems for Control
- Constrained receding-horizon predictive control
- Generalized predictive control. II: Extensions and interpretations
- HySAT: An efficient proof engine for bounded model checking of hybrid systems
- LTLC: Linear Temporal Logic for Control
- Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
- Uppaal in a nutshell
Cited in
(4)
This page was built for publication: A design of GPU-based quantitative model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2234091)