-A A +A

ARCH-COMP18 Category Report: Stochastic Modelling

TitleARCH-COMP18 Category Report: Stochastic Modelling
Publication TypeJournal Article
Year of Publication2018
AuthorsAbate A, Blom H, Cauchi N, Haesaert S, Hartmanns A, Lesser K, Oishi M, Sivaramakrishnan V, Soudjani S, Vasile C-I, Vinod AP
Secondary AuthorsFrehse G
JournalARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Pagination71 - 103


Oxford Control and Verification (OXCAV) Group

C/O Department of Computer Science

Wolfson Building, Parks Rd, Oxford OX1 3QD

T: +44 (0) 18656 10767

Education - This is a contributing Drupal Theme
Design by WeebPal.