59
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Formal Modeling and Analysis of Timed Systems 

      Infinite Runs in Weighted Timed Automata with Energy Constraints

      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 references20

          • Record: found
          • Abstract: not found
          • Article: not found

          Borel Determinacy

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Alternation

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Positional strategies for mean payoff games

                Bookmark

                Author and book information

                Book Chapter
                : 33-47
                10.1007/978-3-540-85778-5_4
                5da551c7-7ceb-4427-928f-960f79cd4083
                History

                Comments

                Comment on this book

                Book chapters

                Similar content5,071

                Cited by28