External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

ARCH-COMP21 Category Report: Stochastic Models

Alessandro Abate, Henk Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman, Paolo Zuliani. ARCH-COMP21 Category Report: Stochastic Models. In Goran Frehse, Matthias Althoff, editors, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021. Volume 80 of EPiC Series in Computing, pages 55-89, EasyChair, 2021. [doi]

Authors

Alessandro Abate

This author has not been identified. Look up 'Alessandro Abate' in Google

Henk Blom

This author has not been identified. Look up 'Henk Blom' in Google

Marc Bouissou

This author has not been identified. Look up 'Marc Bouissou' in Google

Nathalie Cauchi

This author has not been identified. Look up 'Nathalie Cauchi' in Google

Hassane Chraibi

This author has not been identified. Look up 'Hassane Chraibi' in Google

Joanna Delicaris

This author has not been identified. Look up 'Joanna Delicaris' in Google

Sofie Haesaert

This author has not been identified. Look up 'Sofie Haesaert' in Google

Arnd Hartmanns

This author has not been identified. Look up 'Arnd Hartmanns' in Google

Mahmoud Khaled

This author has not been identified. Look up 'Mahmoud Khaled' in Google

Abolfazl Lavaei

This author has not been identified. Look up 'Abolfazl Lavaei' in Google

Hao Ma

This author has not been identified. Look up 'Hao Ma' in Google

Kaushik Mallik

This author has not been identified. Look up 'Kaushik Mallik' in Google

Mathis Niehage

This author has not been identified. Look up 'Mathis Niehage' in Google

Anne Remke

This author has not been identified. Look up 'Anne Remke' in Google

Stefan Schupp

This author has not been identified. Look up 'Stefan Schupp' in Google

Fedor Shmarov

This author has not been identified. Look up 'Fedor Shmarov' in Google

Sadegh Soudjani

This author has not been identified. Look up 'Sadegh Soudjani' in Google

Adam Thorpe

This author has not been identified. Look up 'Adam Thorpe' in Google

Vlad Turcuman

This author has not been identified. Look up 'Vlad Turcuman' in Google

Paolo Zuliani

This author has not been identified. Look up 'Paolo Zuliani' in Google
runs on