Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Pushpak Jagtap.

Newcastle AuthorsTitleYearFull text
Dr Abolfazl Lavaei
Dr Amy Nejati
Pushpak Jagtap
Formal Safety Verification of Unknown Continuous-Time Systems: A Data-Driven Approach2021
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