Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties

Benedikt Maderbacher,Stefan Schupp,Ezio Bartocci,Roderick Bloem,Dejan Ničković,Bettina Könighofer

Model Checking Software（2023）

Cited 3|Views43
Key words
Model Checking,Safety Verification,Search-Based Testing,Satisfiability Modulo Theories,Hybrid Systems
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined