Hoppa till huvudinnehållet
Studies
Studies
close
Research
Research
close
Collaboration
Collaboration
close
About KTH
About KTH
close
Library
Library
close
Close
Studies
Close
Research
Close
Collaboration
Close
About KTH
Close
Library
Close
Main menu
Close
Studies
Main menu
Close
Research
Main menu
Close
Collaboration
Main menu
Close
About KTH
Main menu
Close
Library
Sök
Stäng
Search the KTH website
Search
English
Meny
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)
