Hoppa till huvudinnehållet
Profiles
Student
Alumni
Staff
Profiler på svenska
Home
Studies
Research
Co-operation
About KTH
Library
Search the KTH website
Search
KTH
Profiler
Anton Hampus
DOKTORAND, FORSKARSTUDERANDE
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)
