The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 9203 of Mathematical Reviews Vol. , Issue 2004k
[page]
2004
Mathematical Reviews
Preserved Fulltext
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 organization of transactions: research with the Trust and Tracing game
2008
Journal on Chain and Network Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
The reasonable effectiveness of agent-based simulations in evolutionary game theory
2016
Physics of Life Reviews
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2016 pre-print arXiv:1611.04077v1 fatcat:muqhzsngbvag5lfqfxxvaieefm
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
An internet-based simulation system for training and development of regional-healthcare-centers managers
2009
Studies in Health Technology and Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
PRISM-games: A Model Checker for Stochastic Multi-Player Games
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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 [2] , qualitative stochastic games [3] or mean-payoff games [4] . ...
doi:10.1007/978-3-642-36742-7_13
fatcat:e7ecbkv3jnbtjf3dtl332rmw5i
Lifelong Education in Business: Role of Simulation Games in the Teaching Process
2021
Turkish Journal of Computer and Mathematics Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
Page 860 of The Journal of the Operational Research Society Vol. 43, Issue 9
[page]
1992
The Journal of the Operational Research Society
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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 ...
Towards A Game Theoretic Understanding of Ad-Hoc Routing
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond
2020
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2001.06942v1 fatcat:6c7lsfalb5fanluvezt7nvsqkq
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
A Markov game theoretic data fusion approach for cyber situational awareness
2007
Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications 2007
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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
A Holistic Game Inspired Defense Architecture
[chapter]
2012
Lecture Notes in Electrical Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Strategy for the Appropriation of a DSS in Small Bovine Producers Using Simulation and a Serious Video Game
2020
Information
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
GOAL for Games, Omega-Automata, and Logics
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
A game theoretical algorithm for joint power and topology control in distributed WSN
2009
2009 IEEE International Conference on Acoustics, Speech and Signal Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Advances in Quantitative Verification for Ubiquitous Computing
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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