Name Card

Full name Familienname, Vorname
McIver, Annabelle
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Cardelli, Luca ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability AnalysisKonferenzbeitrag Inproceedings2018
2Arming, Sebastian ; Bartocci, Ezio ; Chatterjee, Krishnendu ; Katoen, Joost-Pieter ; Sokolova, Ana Parameter-Independent Strategies for pMDPs via POMDPsKonferenzbeitrag Inproceedings 2018
3Ahrendt, Wolfgang ; Kovacs, Laura ; Robillard, Simon Reasoning About Loops Using Vampire in KeYKonferenzbeitrag Inproceedings 2015