The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
We implement these theoretical results in the tool FAST (Fast Accel- eration of Symbolic Transition systems). ... We also show DP-hardness for deciding simulation between one-counter automata and finite- state systems (in both directions), and for the model-checking problem with one-counter nets and the branching-time ...
The use of gaming simulation as data gathering tool for quantitative research in supply chains and networks is a proof-of-principle. ... The research method used was a gaming simulation called the Trust and Tracing game in which participants trade commodity goods with a hidden quality attribute. ... The empirical cycle took the finalized gaming simulation prototype (i.e. The T&T game) as a given gaming simulation tool (#13). ...doi:10.3920/jcns2008.x085 fatcat:nkn2nmrer5gspkgwzrz6a5kw6y
This is a Reply to comments published in Physics of Life Reviews, on our article "Evolutionary game theory using agent-based methods" (Physics of Life Reviews, 2016, arXiv:1404.0994). ... It is in fact expected as long as such simulations are used with the same kind of care and control that the theoretical and experimental approach is known for. ... At the same time, the simulation results must be checked for internal consistency, by creating an ensemble of "trajectories" via hundreds or thousand of replicate simulations. ...doi:10.1016/j.plrev.2016.11.005 pmid:27876345 fatcat:iy4fbry2nnex3cfdlbj7ntw4qy
The simulation game has a major potential contribution in enabling management trainees to transfer theoretical knowledge into managerial practical tools, capabilities and skills. ... The simulation system enables the operation of a management decision-making game. ... The simulation model has shown significant practical and theoretic value. ...pmid:19745421 fatcat:q7esztv4xffhfjv24x6myg7c5m
The tool is based on the probabilistic model checker PRISM, benefiting from its existing user interface and simulator, whilst adding novel model checking algorithms for stochastic games, as well as functionality ... We present PRISM-games, a model checker for stochastic multi-player games, which supports modelling, automated verification and strategy synthesis for probabilistic systems with competitive or cooperative ... Game-based verification tools also have applications to scheduling and synthesis problems, for example using timed games  , qualitative stochastic games  or mean-payoff games  . ...doi:10.1007/978-3-642-36742-7_13 fatcat:e7ecbkv3jnbtjf3dtl332rmw5i
The significance of business simulation games (BSG) rapidly increases. And this quite understandable. ... Because simulation games are based on the model playback mode realistic processes, events, locations or situations. ... Designed for a business student's Business simulation games (BSG) is an effective educational tool today because games allow you to simulate various economic occasions and conditions in the market and ...doi:10.17762/turcomat.v12i6.4169 fatcat:tfkbdsu2ivaodd4zxsczp2oos4
The Journal of the Operational Research Society
Forecasting is the most frequent tool with 320 papers, DSS is second with 119 papers and simulation ranks third with a total of 90 papers; these top three tools represent 69% of the total sample. ... MS tool sample frequencies MS Tool Kit Abbreviation Forecasting F/C Decision Support Systems DSS Simulation SIM Mathematical Programming MATH Expert Systems ES Spreadsheets S/SH Decision Theory DEC Project ...
In this paper we present a new application of game theory, in which game theoretic techniques are used to provide a rigorous underpinning to the analysis of ad-hoc routing protocols. ... We propose a game theoretic approach as a potentially effective means of answering this question. The conceptual mapping of routing into a game is, we believe, natural and simple. ... tool must check shows why. ...doi:10.1016/j.entcs.2004.07.009 fatcat:tnxim6vzlfhm7m3hz2fcmcncqi
Hence, they need to be integrated both at the level of system modeling and within the verification methodologies and tools. ... Along the last two decades a variety of theoretical achievements and automated techniques have contributed to make quantitative modeling and verification mainstream in the research community. ... The relation with model checking is strict, as also demonstrated by the most recent advances in tools like, e.g., PRISM and MCMAS, implementing model checking algorithms for MDPs founded on game semantics ...doi:10.4204/eptcs.312.1 fatcat:4fjvygbppjbq3k5ury2kvue3nq
Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications 2007
A software tool is developed to demonstrate the performance of the high level information fusion for cyber network defense situation and a simulation example shows the enhanced understating of cyber-network ... This paper proposes an innovative data-fusion/ data-mining game theoretic situation awareness and impact assessment approach for cyber network defense. ... SIMULATION AND VISUALIZATION TOOL To evaluate our game theoretic approach for cyber attack prediction and mitigation, we have constructed a Cyber Game Simulation Platform (CGSP) based on an open-source ...doi:10.1117/12.720090 fatcat:hr3peq5hozgg7gg3nphllt3vn4
Lecture Notes in Electrical Engineering
We discuss one implementation of our holistic approach, namely, game inspired defense architecture in which a game decision model decides the best defense strategies for the other components in the system ... We consider the interaction between the attacks and the defense mechanisms as a game played between the attacker and the defender. ... We have validated our theoretical results via simulation experiments in MATLAB. ...doi:10.1007/978-3-642-28798-5_63 fatcat:woo7efs7lrevxalwoutnognxnm
The tools are a simulation model, a serious video game, and the DSS. ... game and the DSS. ... model, the serious video game, and the DSS based on the created theoretical framework. ...doi:10.3390/info11120566 fatcat:jvcbobii55d5fdkq4ux3ycdtei
This paper introduces the second generation of GOAL, which is a graphical interactive tool for games, ω-automata, and logics. ... The new features include game solving, manipulation of two-way alternating automata, translation of ACTL formulae and ω-regular expressions, test of language star-freeness, classification of ω-regular ... We have also implemented simplification of Büchi automata with delayed simulation and fair simulation relations based on solving simulation games [12, 19] . ...doi:10.1007/978-3-642-39799-8_62 fatcat:4xi3csp63fgbhn736yrrhzc3we
Simulations show that for a relatively low node density, the probability that the proposed algorithm leads to a connected network is close to one. ... Whereas the proposed distributed algorithm is designed applying game theory concepts to design a non-cooperative game, network connectivity is guaranteed based on asymptotic results of network connectivity ... Game theory is a collection of models and analytic tools useful to study interactive decision processes [2, 3] . ...doi:10.1109/icassp.2009.4960196 dblp:conf/icassp/ClosasPF09 fatcat:rguf36j2qzecfmqflv3qivi2zq
Refine Refine Refine Refine Formalise Formalise Formalise Formalise Simulation Simulation Simulation Simulation Informal requirements ... connectivity • Adaptiveness: systems have to adapt to changing requirements in predictable fashion • Communities of agents: need to model cooperation, competition and resource sharing, necessitating game-theoretic ... ETMCC (MRMC) & PRISM released − PRISM: efficient extensions of symbolic model checking [Kwiatkowska, Norman, Parker, …] − ETMCC (now MRMC): model checking for continuous-time Markov chains [Baier ...doi:10.1007/978-3-642-39718-9_3 fatcat:emkb7jqcurg37nhkdyeel6icma
« Previous Showing results 1 — 15 out of 47,975 results