Susmit Jha

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Game Theory and Machine Learning for Cyber Security	2022-05-16	Paper
TeLEx: learning signal temporal logic from positive examples using tightness metric Formal Methods in System Design	2019-11-25	Paper
Sherlock - A tool for verification of neural network feedback systems Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control	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 Lecture Notes in Computer Science	2018-02-16	Paper
Safe autonomy under perception uncertainty using chance-constrained temporal logic Journal of Automated Reasoning	2018-02-02	Paper
A theory of formal synthesis via inductive learning Acta Informatica	2017-10-26	Paper
Automating security mediation placement Programming Languages and Systems	2010-05-04	Paper
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata Lecture Notes in Computer Science	2008-07-03	Paper

Research outcomes over time

This page was built for person: Susmit Jha