Data

Tools

Indexes

Applications

Experiments

Open Source Science

model-pitfalls-dl

Supplementary hybrid programs and KeYmaeara X proofs for the paper titled 'On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic' by Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, and Martin Fabian.

https://github.com/yuvrajselvam/model-pitfalls-dl

Science Score: 44.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (2.5%) to scientific vocabulary
Last synced: 10 months ago · JSON representation ·

Repository

Supplementary hybrid programs and KeYmaeara X proofs for the paper titled 'On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic' by Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, and Martin Fabian.

Basic Info
  • Host: GitHub
  • Owner: yuvrajselvam
  • Default Branch: main
  • Homepage:
  • Size: 33.2 KB
Statistics
  • Stars: 1
  • Watchers: 3
  • Forks: 0
  • Open Issues: 0
  • Releases: 1
Created over 4 years ago · Last pushed over 3 years ago
Metadata Files
Readme Citation

README.md

model-pitfalls-dL

Supplementary hybrid programs and KeYmaeara X proofs for the paper titled 'On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic' by Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, and Martin Fabian.

To use these verified hybrid system models, download KeYmaera X and load the model with the New Model button after starting KeYmaera X with

java -jar keymaerax.jar

More information on KeYmaera X is available at http://keymaeraX.org/

Citation (CITATION.cff) 

# This CITATION.cff file was generated with cffinit.
# Visit https://bit.ly/cffinit to generate yours today!

cff-version: 1.2.0
title: model-pitfalls-dl
message: Please cite this software using these metadata.
type: software
authors:
  - given-names: Yuvaraj
    family-names: Selvaraj
    email: yuvaraj@chalmers.se
    affiliation: Chalmers University of Technology
    orcid: 'https://orcid.org/0000-0003-2184-3069'
  - given-names: Jonas
    family-names: Krook
    email: krookj@chalmers.se
    affiliation: Chalmers University of Technology
    orcid: 'https://orcid.org/0000-0002-9810-4697'
repository-code: 'https://github.com/yuvrajselvam/model-pitfalls-dl'

GitHub Events

Total
Last Year