Susmit Jha profile picture

Susmit Jha

Is this your author profile? Create an account to customize it!

Stand Alone

Towards Automated System Synthesis Using Sciduction
NASA Formal Methods
NASA Formal Methods 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings