Nikhil Loney

According to our database, Nikhil Loney authored at least 1 paper in 2017.

Collaborative distances:

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

2017

Representing hybrid automata by action language modulo theories.

Joohyung Lee, Nikhil Loney, Yunsong Meng

Theory Pract. Log. Program., 2017