View Proposal


Proposer
Muhammad Najib
Title
Faster Parity Games Solver for Faster Rational Verification
Goal
Description
Rational verification is the problem of checking whether a given temporal logic formula Ï• is satisfied in some or all game-theoretic equilibria of a multi-agent system. EVE (Equilibrium Verification Environment) is a tool for rational verification. In this project, you will modify EVE (https://github.com/eve-mas/eve-parity) to work with faster parity games solver, e.g., Oink (https://github.com/trolando/oink). EVE currently uses PGSolver (https://github.com/tcsprojects/pgsolver).
Resources
Background
Automata Theory, Python, C++
Url
Difficulty Level
Moderate
Ethical Approval
None
Number Of Students
1
Supervisor
Muhammad Najib
Keywords
formal verification, model checking, multiagent systems, game theory
Degrees
Bachelor of Science in Computer Science
Master of Engineering in Software Engineering
Master of Science in Artificial Intelligence
Master of Science in Artificial Intelligence with SMI
Master of Science in Robotics
Master of Science in Software Engineering