View Proposal

Proposer
Muhammad Najib
Title
Faster LTL to Parity Automata Translation 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 LTL to Parity Automata translator, e.g., Owl (https://owl.model.in.tum.de/).
Resources
Background
Automata Theory, Python, Java
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
Back to List