Lukas Westhofen (@lu-w)
github

lu-w

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    43
  • Global Rank 378,138 (Top 14 %)
  • Followers 10
  • Following 11
  • Registered over 12 years ago
  • Most used languages
    Python
         75.0 %
    Java
         12.5 %
    Shell
         12.5 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 23,764
  • Country Ranking
    Python
         6,135
    Shell
         8,394

Top repositories

1

criticality-metrics

A knowledge base on criticality metrics for automated vehicles
15
star
2

auto

The Automotive Urban Traffic Ontology
11
star
3

criticality-recognition

Tooling for recognizing criticality phenomena in A.U.T.O. A-Boxes using owlready2
Python
5
star
4

pyauto

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

criticality-analysis

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

topllet

An engine for answering Metric Temporal Conjunctive Queries, based on Openllet
Java
1
star
7

owlready2-augmentator

An augmentator for concepts and roles within A-Boxes of owlready2
Python
1
star
8

mltl2ltlf

A converter from Mission-Time LTL to LTL on finite traces
Python
1
star
9

omega2auto

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

topllet-benchmarks

A simple benchmark for Topllet
Shell
1
star
11

tobm

The Traffic Ontology Benchmark
Python
1
star