Depot initial.

Johan ARCILE
Commit 906d2ff79e1be526581a32bf8e466f31f87124d2 906d2ff7 0 parents
Showing 20 changed files with 0 additions and 0 deletions
README.md
Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table1/casestudy_v1.xml
Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table1/casestudy_v2.xml
Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table1/casestudy_v3.xml
Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table2/casestudy_vreceptor1.xml
Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table2/casestudy_vreceptor1_bis.xml
Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table2/casestudy_vreceptor2.xml
Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table2/casestudy_vreceptor2_bis.xml
Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table3/casestudy_vemetor1.xml
Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table3/casestudy_vemetor1_bis.xml
Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table3/casestudy_vemetor2.xml
Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table3/casestudy_vemetor2_bis.xml
Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table4/test4(nego).xml
Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table4/test4(ter).xml
Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table4/test4.xml
Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table4/test4_bis(nego).xml
Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table4/test4_bis(ter).xml
Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table4/test4_bis.xml
VerifCar_template.xml
VerifCar_template_clean.xml
--- a/README.md 0 → 100644
View file @906d2ff
+++ b/README.md 0 → 100644
View file @906d2ff
--- a/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table1/casestudy_v1.xml 0 → 100644
View file @906d2ff
+++ b/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table1/casestudy_v1.xml 0 → 100644
View file @906d2ff
--- a/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table1/casestudy_v2.xml 0 → 100644
View file @906d2ff
+++ b/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table1/casestudy_v2.xml 0 → 100644
View file @906d2ff
--- a/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table1/casestudy_v3.xml 0 → 100644
View file @906d2ff
+++ b/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table1/casestudy_v3.xml 0 → 100644
View file @906d2ff
--- a/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table2/casestudy_vreceptor1.xml 0 → 100644
View file @906d2ff
+++ b/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table2/casestudy_vreceptor1.xml 0 → 100644
View file @906d2ff
--- a/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table2/casestudy_vreceptor1_bis.xml 0 → 100644
View file @906d2ff
+++ b/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table2/casestudy_vreceptor1_bis.xml 0 → 100644
View file @906d2ff
--- a/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table2/casestudy_vreceptor2.xml 0 → 100644
View file @906d2ff
+++ b/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table2/casestudy_vreceptor2.xml 0 → 100644
View file @906d2ff
--- a/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table2/casestudy_vreceptor2_bis.xml 0 → 100644
View file @906d2ff
+++ b/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table2/casestudy_vreceptor2_bis.xml 0 → 100644
View file @906d2ff
--- a/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table3/casestudy_vemetor1.xml 0 → 100644
View file @906d2ff
+++ b/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table3/casestudy_vemetor1.xml 0 → 100644
View file @906d2ff
--- a/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table3/casestudy_vemetor1_bis.xml 0 → 100644
View file @906d2ff
+++ b/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table3/casestudy_vemetor1_bis.xml 0 → 100644
View file @906d2ff
--- a/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table3/casestudy_vemetor2.xml 0 → 100644
View file @906d2ff
+++ b/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table3/casestudy_vemetor2.xml 0 → 100644
View file @906d2ff
--- a/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table3/casestudy_vemetor2_bis.xml 0 → 100644
View file @906d2ff
+++ b/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table3/casestudy_vemetor2_bis.xml 0 → 100644
View file @906d2ff
--- a/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table4/test4(nego).xml 0 → 100644
View file @906d2ff
+++ b/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table4/test4(nego).xml 0 → 100644
View file @906d2ff
--- a/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table4/test4(ter).xml 0 → 100644
View file @906d2ff
+++ b/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table4/test4(ter).xml 0 → 100644
View file @906d2ff
--- a/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table4/test4.xml 0 → 100644
View file @906d2ff
+++ b/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table4/test4.xml 0 → 100644
View file @906d2ff
--- a/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table4/test4_bis(nego).xml 0 → 100644
View file @906d2ff
+++ b/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table4/test4_bis(nego).xml 0 → 100644
View file @906d2ff
--- a/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table4/test4_bis(ter).xml 0 → 100644
View file @906d2ff
+++ b/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table4/test4_bis(ter).xml 0 → 100644
View file @906d2ff
--- a/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table4/test4_bis.xml 0 → 100644
View file @906d2ff
+++ b/Source for "VerifCar : a framework for modeling and model-checking communicating autonomous vehicles"/Table4/test4_bis.xml 0 → 100644
View file @906d2ff
--- a/VerifCar_template.xml 0 → 100644
View file @906d2ff
+++ b/VerifCar_template.xml 0 → 100644
View file @906d2ff
--- a/VerifCar_template_clean.xml 0 → 100644
View file @906d2ff
+++ b/VerifCar_template_clean.xml 0 → 100644
View file @906d2ff