List of works - Panagiotis Katsaros - Paulina

List of works by Panagiotis Katsaros

Ontology-Based Model Driven Engineering for Safety Verification

Runtime Verification of Autonomous Driving Systems in CARLA

scientific article published in 2020

Spacecraft early design validation using formal methods

scientific article published in December 2014

Paulina is supported by:

About Paulina

Help