The following pages link to Susmit Jha (Q682354):
Displaying 11 items.
- Safe autonomy under perception uncertainty using chance-constrained temporal logic (Q682357) (← links)
- Duality-based nested controller synthesis from STL specifications for stochastic linear systems (Q1631235) (← links)
- A theory of formal synthesis via inductive learning (Q1674868) (← links)
- TeLEx: learning signal temporal logic from positive examples using tightness metric (Q2008282) (← links)
- Symbolic Reachability Analysis of Lazy Linear Hybrid Automata (Q3510848) (← links)
- Automating Security Mediation Placement (Q3558233) (← links)
- On Optimal Control of Stochastic Linear Hybrid Systems (Q4603558) (← links)
- Trinity: Trust, Resilience and Interpretability of Machine Learning Models (Q5075381) (← links)
- Sherlock - A tool for verification of neural network feedback systems (Q5239249) (← links)
- Measuring Classification Decision Certainty and Doubt (Q6430853) (← links)
- COCO-OOC dataset (Q6696209) (← links)
