Search Results for Game theory.

Models of Strategic Reasoning Logics, Games, and Communities

Yazar

van Benthem, Johan. editor.

http://dx.doi.org/10.1007/978-3-662-48540-8

Format:

Electronic Resources

Alıntı:

Models of Strategic Reasoning Logics, Games, and Communities / van Benthem, Johan. editor.

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

Yazar

Ouaknine, Joël. editor.

http://dx.doi.org/10.1007/978-3-319-11439-2

Format:

Electronic Resources

Alıntı:

Coding and Information Theory.

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Yazar

de Boer, Frank. editor.

https://doi.org/10.1007/978-3-319-90089-6

Format:

Electronic Resources

Alıntı:

-- Self-Stabilization Through the Lens of Game Theory -- Energy-Utility Analysis of Probabilistic Systems with Exogenous

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Jacobs, Bart. editor.

http://dx.doi.org/10.1007/978-3-662-49630-5

Format:

Electronic Resources

Alıntı:

2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Yazar

Pitts, Andrew. editor.

http://dx.doi.org/10.1007/978-3-662-46678-0

Format:

Electronic Resources

Alıntı:

2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Yazar

Chen, Yu-Fang. editor.

https://doi.org/10.1007/978-3-030-31784-3

Format:

Electronic Resources

Alıntı:

A Note on Game Theory and Verification -- Lazy Abstraction-Based Controller Synthesis -- Truth

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Esparza, Javier. editor.

https://doi.org/10.1007/978-3-662-54458-7

Format:

Electronic Resources

Alıntı:

2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017

	{displayName}	{count}
{error}