Petr Novobilsky

Latest

• The paper 'FAA+RTS: Designing Fault-Aware Adaptive Real-Time Systems - From Specification to Execution' was accepted at SAMOS '24.