EasyChair Smart SlideDocs/Log in
Author: Dejan Nickovic

This page shows all presentations of this author published in EasyChair Smart Slide.

Formal Specification for Learning-Enabled Autonomous Systems (Extended Abstract)

Formal Specification for Learning-Enabled Autonomous Systems (Extended Abstract)

Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic and Doron Peled

Production Tests Coverage Analysis in the Simulation Environment

Production Tests Coverage Analysis in the Simulation Environment

Niveditha Manjunath, Dieter Haerle, Stephen Sabanal, Herbert Eichinger, Hermann Tauber, Andreas Machne, Christian Manthey, Mikko Väänänen, Radu Grosu and Dejan Nickovic

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair