Dynamic Planning under Fundamental Uncertainty

  • Gutierrez, Julian (Primary Chief Investigator (PCI))

Project: Research

Project Details

StatusFinished
Effective start/end date31/08/21 → 30/03/22

Funding

  • Defence Science Institute (DSI): A$50,000.00

Keywords

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