9
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III 

      A Concept of Scenario Space Exploration with Criticality Coverage Guarantees

      other
      Springer International Publishing

      Read this book at

      Buy book Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references2

          • Record: found
          • Abstract: not found
          • Conference Proceedings: not found

          Defining and Substantiating the Terms Scene, Situation, and Scenario for Automated Driving

            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            Scenario-Based Validation of Automated Driving Systems

              Bookmark

              Author and book information

              Book Chapter
              2020
              October 27 2020
              : 293-306
              10.1007/978-3-030-61467-6_19
              46ba0472-d533-461c-82de-070419611c02
              History

              Comments

              Comment on this book

              Book chapters

              Similar content3,106

              Cited by2