Amol Wakankar
发表
M. Raj Mohan,
Paritosh K. Pandya,
Amol Wakankar,
2019,
VSTTE.
Gopinath Karmakar,
Amol Wakankar,
Ashutosh Kabra,
2019,
Reliability, Safety and Hazard Assessment for Risk-Based Technologies.
Paritosh K. Pandya,
Amol Wakankar,
P. Pandya,
2019,
MEMOCODE.
DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis
pdf
M. Raj Mohan,
Paritosh K. Pandya,
Amol Wakankar,
2017,
ArXiv.
Paritosh K. Pandya,
Amol Wakankar,
P. Pandya,
2019,
GandALF.
Gopinath Karmakar,
Amol Wakankar,
Ashutosh Kabra,
2019,
Nuclear Engineering and Technology.
M. Raj Mohan,
Paritosh K. Pandya,
Amol Wakankar,
2017,
SEFM.
Paritosh K. Pandya,
Amol Wakankar,
2019,
ArXiv.
M. Raj Mohan,
Paritosh K. Pandya,
Amol Wakankar,
2019,
ArXiv.