There are no reviews yet. Be the first to send feedback to the community and the maintainers!
criticality-metrics
A knowledge base on criticality metrics for automated vehiclesauto
The Automotive Urban Traffic Ontologycriticality-recognition
Tooling for recognizing criticality phenomena in A.U.T.O. A-Boxes using owlready2pyauto
Python module for accessing the Automotive Urban Traffic Ontology based on owlready2criticality-analysis
Synthetic Data for the Paper "Criticality Analysis for the Verification & Validation of Automated Vehicles"topllet
An engine for answering Metric Temporal Conjunctive Queries, based on Openlletowlready2-augmentator
An augmentator for concepts and roles within A-Boxes of owlready2mltl2ltlf
A converter from Mission-Time LTL to LTL on finite tracesomega2auto
Python module that converts the OMEGA format into A.U.T.O. ABoxestopllet-benchmarks
A simple benchmark for ToplletLove Open Source and this site? Check out how you can help us