Hoppa till huvudinnehållet
Utbildning
Utbildning
close
Forskning
Forskning
close
Samverkan
Samverkan
close
Om KTH
Om KTH
close
Bibliotek
Bibliotek
close
Close
Utbildning
Close
Forskning
Close
Samverkan
Close
Om KTH
Close
Bibliotek
Close
Huvudmeny
Close
Utbildning
Huvudmeny
Close
Forskning
Huvudmeny
Close
Samverkan
Huvudmeny
Close
Om KTH
Huvudmeny
Close
Bibliotek
Sök
Stäng
Sök på KTH:s webbplats
Sök
English
Meny
KTH
Profiler
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)
