Verification Techniques for xMAS
The thesis was published by
Fedotov, Alexander,
in January 2022,
Technische Universiteit Eindhoven.
Abstract:
The full thesis can be downloaded at :
https://pure.tue.nl/ws/files/192130951/20220111_Fedotov_hf.pdf
https://research.tue.nl/nl/publications/c659a21d-a17f-463a-b90e-96fd3a8591e8
https://pure.tue.nl/ws/files/192130951/20220111_Fedotov_hf.pdf
https://research.tue.nl/nl/publications/c659a21d-a17f-463a-b90e-96fd3a8591e8