Panoramica delle catene di Markov parametriche e della loro applicazione ai processi decisionali di Markov parzialmente osservabili

This work aims to study the theory of parametric Markov chains. The goal is to demonstrate a use case that links them to partially observable Markov decision processes. The section on parametric synthesis is explored in depth, with the aim of providing a general overview of computability in relation to parametric models. Additionally, a specific part related to this section is analyzed, namely the algorithm used to compute the results. Finally, we proceed with data analysis using the Storm tool, focusing particularly on identifying certain significant values. Other results, although interesting, are less clear.

Nel presente lavoro, si vuol andare a studiare la teoria delle catene di Markov parametriche. Questo lavoro si propone di dimostrare un caso d'uso che le collega ai processi decisionali di Markov con osservazione parziale. Viene approfondita la sezione sulla sintesi parametrica, con l'obiettivo di fornire una panoramica generale sul computabile in relazione ai modelli parametrici. Viene inoltre analizzata una parte specifica legata a quest'ultima sezione, ovvero l'algoritmo usato per la computazione dei risultati. Infine, procediamo con l'analisi dei dati utilizzando lo strumento Storm, identificando in particolare alcuni valori significativi. Altri risultati, sebbene interessanti, risultano meno chiari.