Dynamic Planning under Fundamental Uncertainty

Project: Research

Project Details

StatusActive
Effective start/end date31/08/2130/03/22

Funding

  • Defence Science Institute (DSI): AUD50,000.00

Keywords

  • Temporal logic
  • Game theory
  • Multiagent systems
  • Formal verification
  • Automata theory
  • Probabilistic reasoning
  • Reinforcement learning
  • Automated synthesis