Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"

  • Arnd Hartmanns (Creator)
  • Bram Kohlen (Creator)
  • Peter Lammich (Creator)

Dataset

  • 1 Conference contribution
Filter
Conference contribution

Search results

  • 2023

    Fast Verified SCCs for Probabilistic Model Checking

    Hartmanns, A., Kohlen, B. & Lammich, P., 22 Oct 2023, Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I. André, É. & Sun, J. (eds.). Springer Nature, p. 181-202 22 p. (Lecture Notes in Computer Science; vol. 14215).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    30 Downloads (Pure)