Nikhil Sethi

According to our database, Nikhil Sethi authored at least 3 papers between 2006 and 2023.

Collaborative distances:

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

2023

Drone flocking optimization using NSGA-II and principal component analysis.

Jagdish Chand Bansal, Nikhil Sethi, Ogbonnaya Anicho, Atulya Nagar

Swarm Intell., June, 2023

2022

Low-fidelity design optimization and development of a VTOL swarm UAV with an open-source framework.

Nikhil Sethi, Saurav Ahlawat

Array, 2022

2006

cascade: C Assertion Checker and Deductive Engine.

Nikhil Sethi, Clark W. Barrett

Proceedings of the Computer Aided Verification, 18th International Conference, 2006