Skip navigation
Skip navigation

Formally Verified Compositional Algorithms for Factored Transition Systems

Abdulaziz, Mohammad


Artificial Intelligence (AI) planning and model checking are two disciplines that found wide practical applications. It is often the case that a problem in those two fields concerns a transition system whose behaviour can be encoded in a digraph that models the system's state space. However, due to the very large size of state spaces of realistic systems, they are compactly represented as propositionally factored transition systems. These representations...[Show more]

CollectionsOpen Access Theses
Date published: 2017
Type: Thesis (PhD)


File Description SizeFormat Image
Abdulaziz Thesis 2018.pdf5.28 MBAdobe PDFThumbnail

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator