×

Found 678 Documents (Results 1–100)

Controller synthesis for timeline-based games. (English) Zbl 1530.68238

Ganty, Pierre (ed.) et al., Proceedings of the 13th international symposium on games, automata, logics, and formal verification, GandALF 2022, Madrid, Spain, September 21–23, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 370, 131-146 (2022).
MSC:  68T20 68Q60 91A99

Algorithmic decision theory. 7th international conference, ADT 2021, Toulouse, France, November 3–5, 2021. Proceedings. (English) Zbl 1507.91003

Lecture Notes in Computer Science 13023. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-030-87755-2/pbk; 978-3-030-87756-9/ebook). xix, 441 p. (2021).
Full Text: DOI

Locks, bombs and testing: the case of independent locks. (English) Zbl 1471.91207

Piunovskiy, Alexey (ed.) et al., Modern trends in controlled stochastic processes: theory and applications, V.III. Selected papers based on the presentations at the traditional Liverpool workshop on controlled stochastic processes, Liverpool, UK, July 2021. Cham: Springer. Emerg. Complex. Comput. 41, 248-265 (2021).
MSC:  91B32 91A10 91A80
Full Text: DOI

On satisficing in quantitative games. (English) Zbl 1467.68161

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 20-37 (2021).

A normal form game model of search and pursuit. (English) Zbl 1497.91048

Ramsey, David M. (ed.) et al., Advances in dynamic games. Games of conflict, evolutionary games, economic games, and games involving common interest. Selected papers based on the presentations at the 18th international symposium on dynamic games and applications, Grenoble, France, July 9–12, 2018. Cham: Birkhäuser. Ann. Int. Soc. Dyn. Games 17, 59-75 (2020).
MSC:  91A24 91A20

Partially observable stochastic games for cyber deception against network epidemic. (English) Zbl 1483.68051

Zhu, Quanyan (ed.) et al., Decision and game theory for security. 11th international conference, GameSec 2020, College Park, MD, USA, October 28–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12513, 312-325 (2020).
Full Text: DOI

Bilevel models for investment policy in resource-rich regions. (English) Zbl 1458.91161

Kochetov, Yury (ed.) et al., Mathematical optimization theory and operations research. 19th international conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1275, 36-50 (2020).
Full Text: DOI

Search strategies in the game with a team of pursuers and one evader on the plane. (English) Zbl 1454.91034

Petrosyan, Leon A. (ed.) et al., Contributions to game theory and management. Volume XIII. Collected papers presented at the 13th international conference on game theory and management (GTM 2019), St. Petersburg, Russia, June 27–29, 2018. St. Petersburg: St. Petersburg State University. 335-346 (2020).
MSC:  91A24
Full Text: MNR

A multi-stage model of searching for two mobile objects on a graph. (English) Zbl 1448.91064

Yeung, David (ed.) et al., Frontiers in games and dynamic games. Theory, applications, and numerical methods. Selected papers based on the presentations at the ISDG-China chapter conference on dynamic games and game theoretic analysis, Ningbo, China, August 3–5, 2017. Cham: Birkhäuser. Ann. Int. Soc. Dyn. Games 16, 153-173 (2020).
MSC:  91A43 91A20 90B40
Full Text: DOI

Verifying the gaming strategy of self-learning game by using PRISM-games. (English) Zbl 1458.68189

Vasant, Pandian (ed.) et al., Intelligent computing and optimization. Proceedings of the 2nd international conference on intelligent computing and optimization 2019 (ICO 2019), Koh Samui, Thailand, October 3–4, 2019. Cham: Springer. Adv. Intell. Syst. Comput. 1072, 148-159 (2020).
Full Text: DOI

A metaheuristic approach to compute pure Nash equilibria. (English) Zbl 1443.91019

Talbi, El-Ghazali (ed.) et al., Bioinspired heuristics for optimization. Selected papers of the 6th international conference on metaheuristics and nature inspired computing, Marrakech, Morocco, October 27– 31, 2016. Cham: Springer. Stud. Comput. Intell. 774, 221-233 (2019).
Full Text: DOI

Stackelberg model and public-private partnerships in the natural resources sector of Russia. (English) Zbl 1443.91225

Khachay, Michael (ed.) et al., Mathematical optimization theory and operations research. 18th international conference, MOTOR 2019, Ekaterinburg, Russia, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11548, 158-171 (2019).
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software