Safe, Optimal and Compact Strategies for Cyber Physical Systems

Jakob Haahr Taankvist

Publikation: Ph.d.-afhandling

47 Downloads (Pure)

Originalsprog	Engelsk
Vejledere	Larsen, Kim Guldstrand, Hovedvejleder Jaeger, Manfred, Bivejleder
Udgiver	Aalborg University Open Publishing
ISBN'er, elektronisk	97887-7642-002-4
DOI	https://doi.org/10.54337/aau779529764
Status	Udgivet - 2025

Adgang til dokumentet

@misc{ec8601157fc24ceb8c3fe2aa87e5cfec,

title = "Safe, Optimal and Compact Strategies for Cyber Physical Systems",

keywords = "Model checking, Strategy, Machine learning, MDP, Timed Automata, Timed Game",

author = "Taankvist, {Jakob Haahr}",

year = "2025",

doi = "10.54337/aau779529764",

language = "English",

series = "PhD Series, Technical Faculty of IT and Design, Aalborg University",

publisher = "Aalborg University Open Publishing",

}

TY - GEN

T1 - Safe, Optimal and Compact Strategies for Cyber Physical Systems

AU - Taankvist, Jakob Haahr

PY - 2025

Y1 - 2025

KW - Model checking

KW - Strategy

KW - Machine learning

KW - MDP

KW - Timed Automata

KW - Timed Game

U2 - 10.54337/aau779529764

DO - 10.54337/aau779529764

M3 - PhD thesis

T3 - PhD Series, Technical Faculty of IT and Design, Aalborg University

PB - Aalborg University Open Publishing

ER -