-
with natural language. The successful candidate will develop and test novel user interfaces that integrate state-of-the-art Large Language Models (LLMs) with novel logic-based multi-robot planning
Searches related to model checking
Enter an email to receive alerts for model-checking positions