-
that integrate state-of-the-art Large Language Models (LLMs) with novel logic-based multi-robot planning algorithms. This work will be evaluated through simulations and with physical drones in mock search-and
Searches related to model checking
Enter an email to receive alerts for model-checking positions