Shashank Pathak
From MaRDI portal
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 |
|---|---|---|
| Extending flexible Boolean semantics for the language of mathematics | 2026-02-19 | Paper |
| Formal and data association aware robust belief space planning | 2018-08-29 | Paper |
| Evaluating probabilistic model checking tools for verification of robot control policies AI Communications | 2017-11-08 | Paper |
| GFLean: An Autoformalisation Framework for Lean via GF (available as arXiv preprint) | N/A | Paper |
Research outcomes over time
This page was built for person: Shashank Pathak
