Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Pushpak Jagtap.

Newcastle AuthorsTitleYearFull text
Pushpak Jagtap
Dr Sadegh Soudjani
Formal Synthesis of Stochastic Systems via Control Barrier Certificates2021
Pushpak Jagtap
Dr Sadegh Soudjani
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates2018