View Proposal
-
Proposer
-
Muhammad Najib
-
Title
-
A Tool for Cooperative Rational Verification
-
Goal
-
-
Description
- Rational verification is the problem of checking whether a given temporal logic formula \phi is satisfied in some or all game-theoretic equilibria of a multi-agent system.
In this project, you will build a tool that takes Simple Reactive Module Language (SRML) code and translates/compiles it to Interpreted Systems Programming Language (ISPL) code. Then use MCMAS (https://vas.doc.ic.ac.uk/software/mcmas/) to verify the resulting ISPL code.
- Resources
-
-
Background
-
Automata Theory, 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
Bachelor of Science in Computer Systems
Bachelor of Science in Information Systems
Bachelor of Science in Software Development for Business (GA)
Master of Engineering in Software Engineering
Master of Design in Games Design and Development
Master of Science in Artificial Intelligence
Master of Science in Artificial Intelligence with SMI
Master of Science in Business Information Management
Master of Science in Computer Science for Cyber Security
Master of Science in Computer Systems Management
Master of Science in Computing (2 Years)
Master of Science in Data Science
Master of Science in Human Robot Interaction
Master of Science in Information Technology (Business)
Master of Science in Information Technology (Software Systems)
Master of Science in Network Security
Master of Science in Robotics
Master of Science in Software Engineering
Bachelor of Science in Computing Science
Bachelor of Engineering in Robotics
Bachelor of Science in Computer Science (Cyber Security)