16 results on '"Platzer, André"'
Search Results
2. Verifying Switched System Stability With Logic
Catalog
Books, media, physical & digital resources
3. Verifiably safe SCUBA diving using commodity sensors
4. HyPLC
5. Toward multi-task support and security analyses in PLC program translation for verification
6. A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow
7. Differential Equation Axiomatization
8. VeriPhy: verified controller executables from verified cyber-physical system models
9. Session details: Verification II
10. Formally verified differential dynamic logic
11. Differential Refinement Logic
12. A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics
13. Certifying the safe design of a virtual fixture control algorithm for a surgical robot
14. Formal verification of distributed aircraft controllers
15. Quantified differential invariants
16. Bayesian statistical model checking with application to Simulink/Stateflow verification
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.