المؤلفون: Gutierrez J., Najib M., Perelli G., Wooldridge M.

المساهمون: Fokkink W., van Glabbeek R., Gutierrez, J., Najib, M., Perelli, G., Wooldridge, M.

مصطلحات موضوعية: Game, Model checking, Nash equilibrium, Synthesi, Temporal logic

العلاقة: ispartofbook:30th International Conference on Concurrency Theory (CONCUR 2019); 30th International Conference on Concurrency Theory, CONCUR 2019; volume:140; numberofpages:16; serie:LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS; http://hdl.handle.net/11573/1403127Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85071649192

الإتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2019.22Test
http://hdl.handle.net/11573/1403127Test

المؤلفون: Gutierrez J., Harrenstein P., Perelli G., Wooldridge M.

المساهمون: Gutierrez, J., Harrenstein, P., Perelli, G., Wooldridge, M.

مصطلحات موضوعية: Bisimulation, Concurrency, Logic and Game, Nash Equilibrium

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/18605974; info:eu-repo/semantics/altIdentifier/wos/WOS:000505787200004; volume:15; issue:3; lastpage:49; journal:LOGICAL METHODS IN COMPUTER SCIENCE; http://hdl.handle.net/11573/1403431Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85074158987

الإتاحة: https://doi.org/10.23638/LMCS-15Test(3:32)2019
http://hdl.handle.net/11573/1403431Test

المؤلفون: Gutierrez J., Harrenstein P., Perelli G., Wooldridge M.

المساهمون: Meyer R., Nestmann U., Gutierrez, J., Harrenstein, P., Perelli, G., Wooldridge, M.

مصطلحات موضوعية: Bisimulation, Multiagent System, Nash Equilibrium, Strategy Logic

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000505787200004; ispartofbook:28th International Conference on Concurrency Theory (CONCUR 2017); 28th International Conference on Concurrency Theory, CONCUR 2017; volume:85; numberofpages:16; serie:LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS; http://hdl.handle.net/11573/1403135Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85030646949

الإتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2017.17Test
http://hdl.handle.net/11573/1403135Test

المؤلفون: Gutierrez J., Harrenstein P., Perelli G., Wooldridge M.

المساهمون: Gutierrez, J., Harrenstein, P., Perelli, G., Wooldridge, M.

مصطلحات موضوعية: Expressivene, Iterated boolean game, LTL, Nash equilibrium

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-145034239-1; ispartofbook:AAMAS '16: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems; 15th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016; firstpage:707; lastpage:715; numberofpages:9; serie:PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS; http://hdl.handle.net/11573/1402026Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85014205932

الإتاحة: http://hdl.handle.net/11573/1402026Test

المؤلفون: Gutierrez, J., Harrenstein, P., Perelli, G., Wooldridge, M.

المساهمون: Nestmann, R, Meyer, U

مصطلحات موضوعية: FOS: Computer and information sciences, 060201 languages & linguistics, Computer Science::Computer Science and Game Theory, Computer Science - Logic in Computer Science, 000 Computer science, knowledge, general works, Bisimulation, Multiagent Systems, Nash Equilibrium, Strategy Logic, 06 humanities and the arts, 02 engineering and technology, Logic and Games, 16. Peace & justice, Logic in Computer Science (cs.LO), Concurrency, 0602 languages and literature, Computer Science, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::877bd885dbb429af510bbc99857b0c8eTest
https://ora.ox.ac.uk/objects/uuid:0e299546-9538-404e-9c56-fa4760cf8915Test

المؤلفون: Giuseppe Perelli, Thomas Steeples, Julian Gutierrez, Michael Wooldridge, Sasha Rubin, Aniello Murano

المساهمون: Gutierrez, J., Murano, A., Perelli, G., Rubin, S., Steeples, T., Wooldridge, M.

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science::Computer Science and Game Theory, Computer Science - Logic in Computer Science, Computer Networks and Communications, Process (engineering), Computer science, Computer Science - Artificial Intelligence, media_common.quotation_subject, Context (language use), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Multi-Agent Systems, symbols.namesake, Linear temporal logic, Computer Science - Computer Science and Game Theory, 0202 electrical engineering, electronic engineering, information engineering, Computer Science - Multiagent Systems, Function (engineering), Rational Verification, media_common, Temporal Logics, Quantitative Reasoning, ComputingMilieux_PERSONALCOMPUTING, 020207 software engineering, Lexicographical order, Decidability, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), 010201 computation theory & mathematics, Nash equilibrium, Theory of computation, symbols, Mathematical economics, Software, Information Systems, Computer Science and Game Theory (cs.GT), Multiagent Systems (cs.MA)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::804051dd62340f61a2ed8c32a87de903Test
http://arxiv.org/abs/2008.05643Test