Susmit Jha

Available identifiers

zbMath Open jha.susmitMaRDI QIDQ682354

List of research outcomes

Publication	Date of Publication	Type
COCO-OOC dataset	2024-04-03	Dataset
Measuring Classification Decision Certainty and Doubt	2023-03-25	Paper
Trinity: Trust, Resilience and Interpretability of Machine Learning Models	2022-05-16	Paper
TeLEx: learning signal temporal logic from positive examples using tightness metric	2019-11-25	Paper
Sherlock - A tool for verification of neural network feedback systems	2019-10-22	Paper
Duality-based nested controller synthesis from STL specifications for stochastic linear systems	2018-12-06	Paper
On Optimal Control of Stochastic Linear Hybrid Systems	2018-02-16	Paper
Safe autonomy under perception uncertainty using chance-constrained temporal logic	2018-02-02	Paper
A theory of formal synthesis via inductive learning	2017-10-26	Paper
Automating security mediation placement	2010-05-04	Paper
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata	2008-07-03	Paper

Research outcomes over time

This page was built for person: Susmit Jha