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 |
|---|---|---|
| GFLean: An Autoformalisation Framework for Lean via GF (available as arXiv preprint) | N/A | Paper |
| 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 |
Research outcomes over time
This page was built for person: Shashank Pathak
