TRUSTED: SecuriTy SummaRies for SecUre SofTwarE Development
Lead Research Organisation:
University of Liverpool
Department Name: Computer Science
Abstract
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
Organisations
Publications
Bose S
(2024)
History-deterministic Timed Automata
in Logical Methods in Computer Science
Dell'Erba D
(2023)
An Objective Improvement Approach to Solving Discounted Payoff Games
in Electronic Proceedings in Theoretical Computer Science
Hahn E
(2023)
Omega-Regular Decision Processes
Hahn E
(2024)
Omega-Regular Decision Processes
in Proceedings of the AAAI Conference on Artificial Intelligence
Li Y
(2024)
Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata
in Theoretical Computer Science
