M. Raj Mohan
发表
Sumesh Divakaran,
Deepak D'Souza,
M. Raj Mohan,
2010,
ISEC.
Deepak D'Souza,
M. Raj Mohan,
Pavithra Prabhakar,
2009,
Ann. Pure Appl. Log..
M. Raj Mohan,
Paritosh K. Pandya,
Amol Wakankar,
2019,
VSTTE.
Sumesh Divakaran,
Deepak D'Souza,
M. Raj Mohan,
2010,
2010 17th International Symposium on Temporal Representation and Reasoning.
Deepak D'Souza,
M. Raj Mohan,
2005,
FSTTCS.
Deepak D'Souza,
M. Raj Mohan,
D. D'Souza,
2012,
ICTAC.
DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis
pdf
M. Raj Mohan,
Paritosh K. Pandya,
Amol Wakankar,
2017,
ArXiv.
M. Raj Mohan,
Paritosh K. Pandya,
Amol Wakankar,
2017,
SEFM.
Deepak D'Souza,
M. Raj Mohan,
Pavithra Prabhakar,
2012,
Modern Applications of Automata Theory.
M. Raj Mohan,
Paritosh K. Pandya,
Amol Wakankar,
2019,
ArXiv.
M. Raj Mohan,
Patricia Bouyer,
Nicolas Markey,
2014,
CONCUR.