lu-w Goto Github PK

auto

The Automotive Urban Traffic Ontology

benchmarking-verifiers-for-automotive

Contains the benchmarking scripts used for the paper "Benchmarking Software Model Checkers on Automotive Code"

chield

criticality-analysis

Synthetic Data for the Paper "Criticality Analysis for the Verification & Validation of Automated Vehicles"

criticality-metrics

A knowledge base on criticality metrics for automated vehicles

criticality-recognition

Tooling for recognizing criticality phenomena in A.U.T.O. A-Boxes using owlready2

lu-w.github.io

lydia

A tool for LDLf translation to DFA and for LDLf synthesis.

mltl2ltlf

A converter from Mission-Time LTL to LTL on finite traces

omega2auto

Python module that converts the OMEGA format into A.U.T.O. ABoxes

openllet

Openllet is an OWL 2 reasoner in Java, build on top of Pellet.

owlready2-augmentator

An augmentator for concepts and roles within A-Boxes of owlready2

pyauto

Python module for accessing the Automotive Urban Traffic Ontology based on owlready2

submarine-arduino

Operating a submarine using an Arduino.

submarine-control

An Android app for controlling a submarine.

submarine-protobuf

A protocol implemented in Google's protobuf to allow communication between a control station and a submarine.

tobm

The Traffic Ontology Benchmark

topllet

An engine for answering Metric Temporal Conjunctive Queries, based on Openllet

topllet-benchmarks

A simple benchmark for Topllet

vdirsyncer

Synchronize calendars and contacts