• UPPAAL TIGA

  • Referenced in 45 articles [sw12913]
  • algorithm for solving games based on timed game automata with respect to reachability and safety ... properties. Though timed games for long have been known to be decidable there has until ... suggested by Liu & Smolka [LS98] for linear-time model-checking of finite-state systems. Being ... methods for obtaining time-optimal winning strategies (for reachability games...
  • ELF

  • Referenced in 4 articles [sw26533]
  • Flexible Research Platform for Real-time Strategy Games. In this paper, we propose ... highly customizable real-time strategy (RTS) engine with three game environments (Mini-RTS, Capture ... parameters, and can host existing C/C++-based game environments like Arcade Learning Environment. Using ... more than 70% of the time in the full game of Mini-RTS. Strong performance...
  • Optgame

  • Referenced in 6 articles [sw04936]
  • determine equilibrium solutions of dynamic games in discrete time. It can be applied to obtain ... approximate numerical solutions for two-player difference games where the objective functions are quadratic ... equations are linearized numerically, substituting a linear time-varying system for the nonlinear time-invariant...
  • GameShrink

  • Referenced in 11 articles [sw12511]
  • nontrivial games it is drastically smaller, so GameShrink has time and space complexity sublinear...
  • G3D

  • Referenced in 3 articles [sw15487]
  • gaming action dataset and real time action recognition evaluation framework. In this paper a novel ... games and other similar applications since it takes into consideration restrictions related to time ... dataset, G3D for real-time action recognition in gaming containing synchronised video, depth and skeleton ... metric especially designed for games and other similar real-time applications...
  • DTA

  • Referenced in 4 articles [sw35454]
  • cooperative Nash-like game with departure time and route choices. DUE models describe and predict...
  • ToolboxLS

  • Referenced in 52 articles [sw06312]
  • toolbox of level set methods for solving time-dependent Hamilton-Jacobi partial differential equations (PDEs ... fields such as control, robotics, differential games, dynamic programming, mesh generation, stochastic differential equations, financial...
  • G-TIME

  • Referenced in 1 article [sw07562]
  • Game of timing in gas pipeline projects competition: simulation software and generalized equilibrium solutions. Many ... between energy suppliers, and the theory of games is an appropriate tool to study these ... numerical analysis and modification of the game-theoretical gas market model developed in [G. Klaassen ... describe a software G-TIME elaborated for this purpose, results of simulation and sensitivity analysis...
  • ECDAR

  • Referenced in 11 articles [sw02824]
  • compositional design and verification of real time systems. In Ecdar, a component interface describes both ... game theoretical setting that permits, for example, to capture the real-time constraints on communication...
  • MetaGame

  • Referenced in 10 articles [sw00572]
  • cause of the problem. For branching time logics error diagnosis information can be given ... winning strategy in a graph game derived from the model checking instance. However, winning strategies...
  • MCTS-Solver

  • Referenced in 5 articles [sw00565]
  • prove the game-theoretical value of a position givensufficient time. Experiments show that a Monte ... simulation-based search approaches in sudden-death games, significantly improving upon MCTS-based programs...
  • R-MAX

  • Referenced in 32 articles [sw02539]
  • attain near-optimal average reward in polynomial time. In R-MAX, the agent always maintains ... algorithm, covering zero-sum stochastic games. (2) It has a built-in mechanism for resolving...
  • MAGIC

  • Referenced in 38 articles [sw14159]
  • counterexamples as winning strategies in a simulation game between the implementation and the specification ... orders of magnitude improvement in verification time...
  • BWAPI

  • Referenced in 1 article [sw26571]
  • interact with the popular Real Time Strategy (RTS) game Starcraft: Broodwar. Using BWAPI, students, researchers...
  • Zeng00

  • Referenced in 1 article [sw01714]
  • strategy in simulation soccer game We propose and examine a time mixed strategy method ... could obtain optimal mixed strategy in soccer game...
  • DrACuLa

  • Referenced in 3 articles [sw29646]
  • time errors. Further, DRACULA also comes with a library for programming interactive, graphical games...
  • GAMInG

  • Referenced in 2 articles [sw01417]
  • GAMInG -- a framework for generalization of association mining via information granulation Rather than finding ... association-mining types one at a time, in this paper, we propose a framework, which ... Generalization of Association Mining via Information Granulation (GAMInG), based on which new association-mining types...
  • SignalR

  • Referenced in 0 articles [sw39701]
  • refresh button. Add real-time functionality to your dashboards, maps, games and more. What...
  • GameTime

  • Referenced in 1 article [sw09949]
  • execution time analysis of software. GameTime is based on a combination of game-theoretic online ... contrast with many existing tools for timing analysis, GameTime can be used for a range...
  • Cop-Number

  • Referenced in 2 articles [sw39022]
  • implementation of the algorithm described in The Game of Cops and Robbers on Graphs ... solve k-FIXED COP NUMBER. The time complexity of the algorithm...