Aditya Bhutada

According to our database, Aditya Bhutada authored at least 1 paper in 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

On Synthesis and Verification from Event Diagrams in a Robot Theatre Application.

Marek A. Perkowski, Aditya Bhutada, Martin Lukac, Mathias Sunardi

Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013