Skip to main content
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
Search
Close
Search the KTH website
Search
Svenska
Menu
KTH
Profiles
Anton Hampus
Using Timed Muller Automata to Verify Refinement of Probabilistic Contracts (With Proofs)
Verifying_Refinement_of_Probabilistic_Contracts_Using_Timed_Automata_(With_Proofs).pdf
Anton Hampus,
DOKTORAND
ahampus@kth.se
Portfolio
Formally Verifying Decompositions of Stochastic Specifications (With Proofs)
Using Timed Muller Automata to Verify Refinement of Probabilistic Contracts (With Proofs)
