Hoppa till huvudinnehållet
Profiler
Student
Alumn
Anställd
Profiles in English
Hem
Utbildning
Forskning
Samverkan
Om KTH
Bibliotek
Sök på KTH:s webbplats
Sök
KTH
Profiler
Anton Hampus
DOKTORAND
Kungliga Tekniska Högskolan
https://www.kth.se/profile/ahampus/
Detaljer
Arbetar vid
MEKATRONIK
Adress
BRINELLVÄGEN 83
E-post
ahampus@kth.se
Portfolio
Formally Verifying Decompositions of Stochastic Specifications (With Proofs)
Using Timed Muller Automata to Verify Refinement of Probabilistic Contracts (With Proofs)