23
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Theories of Programming and Formal Methods 

      Optimal Bounds for Multiweighted and Parametrised Energy Games

      other

      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 references6

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

          Resource Interfaces

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

            Infinite Runs in Weighted Timed Automata with Energy Constraints

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

              Energy Games in Multiweighted Automata

                Bookmark

                Author and book information

                Book Chapter
                2013
                : 244-255
                10.1007/978-3-642-39698-4_15
                567e53ea-bd49-46cf-bf52-79e00e8c8de7
                History

                Comments

                Comment on this book

                Book chapters

                Similar content2,887

                Cited by8