Nir Piterman
10 months ago
Computer Science and Engineering Chalmers University of Technology & University of Gothenburg in Sweden
Degree Level
PhD
Field of study
Computer Science
Funding
Supported by WASP – Wallenberg AI, Autonomous Systems and Software Program
Deadline
Expired
Country
Sweden
University
Chalmers University of Technology and University of Gothenburg
How do Korean students apply for this?
Sign in for free to reveal details, requirements, and source links.
Where to contact
Official Email
No info
Keywords
Computer Science
Decision Making
Artificial Intelligence
Automation
Game Theory
Formal Methods
Automata Theory
Reasoning
Technical Engineering
Robotics
Temporal Logic
Serious Games
Planning And Operation
About this position
Funding details
Supported by WASP – Wallenberg AI, Autonomous Systems and Software Program
Ask ApplyKite AI
Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?
Professors
How do Korean students apply for this?
Sign in for free to reveal details, requirements, and source links.
This position is supported by WASP – Wallenberg AI, Autonomous Systems and Software Program !
Application is open to national and international applicants and we encourage applications from underrepresented minorities.
Research scope: formal methods, reactive synthesis, planning, automata, games, temporal logics
More about the project: Reactive Synthesis is like telling a robot what you would like it to do and automatically planning how to do it. Planning domain description language (PDDL) is a standard language used to specify planning problems and domains in artificial intelligence. It provides a way to define objects, actions, and goals for automated planning systems to solve complex tasks. The project will combine usage of PDDL in reactive synthesis. This will include both theoretical and practical contributions.