المؤلفون: De Giacomo G., Perelli G.

المساهمون: De Giacomo, G., Perelli, G.

مصطلحات موضوعية: linear temporal logic, synthesi, planning, behavioral semantic

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-43263-7; info:eu-repo/semantics/altIdentifier/isbn/978-3-031-43264-4; ispartofbook:European Conference on Multi-Agent Systems; European Conference on Multi-Agent Systems; volume:14282 LNAI; firstpage:133; lastpage:149; numberofpages:17; https://hdl.handle.net/11573/1691215Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85172013593

الإتاحة: https://doi.org/10.1007/978-3-031-43264-4_9Test
https://hdl.handle.net/11573/1691215Test

المؤلفون: Perelli G.

المساهمون: Perelli, G.

مصطلحات موضوعية: Logics for agents and multi-agent system, Synthesis of agent-based system, Verification techniques for multiagent systems, including model checking

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-151089200-2; info:eu-repo/semantics/altIdentifier/wos/WOS:000474345000026; ispartofbook:AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and Multi Agent Systems; 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019; volume:1; firstpage:188; lastpage:196; numberofpages:9; serie:PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS; http://hdl.handle.net/11573/1403129Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85071642502

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

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

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

مصطلحات موضوعية: Multi-Agent System, Rational Verification, Temporal Logics

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-0-9992411-4-1; info:eu-repo/semantics/altIdentifier/wos/WOS:000761735100047; 28th International Joint Conference on Artificial Intelligence, IJCAI 2019; volume:2019-; firstpage:329; lastpage:335; numberofpages:7; journal:IJCAI; http://hdl.handle.net/11573/1403423Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85071637826

الإتاحة: https://doi.org/10.24963/ijcai.2019/47Test
http://hdl.handle.net/11573/1403423Test

المؤلفون: Bouyer P., Kupferman O., Markey N., Maubert B., Murano A., Perelli G.

المساهمون: Bouyer, P., Kupferman, O., Markey, N., Maubert, B., Murano, A., Perelli, G.

مصطلحات موضوعية: Strategy Logic, Multi-Agent System, Fuzzy Reasoning

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-099924114-1; info:eu-repo/semantics/altIdentifier/wos/WOS:000761735101099; 28th International Joint Conference on Artificial Intelligence, IJCAI 2019; volume:2019-; firstpage:1588; lastpage:1594; numberofpages:7; journal:IJCAI; http://hdl.handle.net/11573/1403362Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85074922709

الإتاحة: https://doi.org/10.24963/ijcai.2019/220Test
http://hdl.handle.net/11573/1403362Test

المؤلفون: 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, Najib, M, Perelli, G, Wooldridge, M

العلاقة: https://ora.ox.ac.uk/objects/uuid:f9bc4d0e-e2b6-4035-89fb-ffdce2060e01Test; https://doi.org/10.24963/ijcai.2019/47Test

الإتاحة: https://doi.org/10.24963/ijcai.2019/47Test
https://ora.ox.ac.uk/objects/uuid:f9bc4d0e-e2b6-4035-89fb-ffdce2060e01Test

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

العلاقة: https://ora.ox.ac.uk/objects/uuid:d7efc9bb-051b-46b4-8889-97f9fb7ed4d3Test; https://doi.org/10.4230/LIPIcs.CONCUR.2019.22Test

الإتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2019.22Test
https://ora.ox.ac.uk/objects/uuid:d7efc9bb-051b-46b4-8889-97f9fb7ed4d3Test

المؤلفون: Bozzelli L., Murano A., Perelli G., Sorrentino L.

المساهمون: Schewe S., Wijsen J., Schneider T., Bozzelli, L., Murano, A., Perelli, G., Sorrentino, L.

مصطلحات موضوعية: Cost-parity game, Hierarchical system, Parity game, System verification

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-395977052-1; ispartofbook:24th International Symposium on Temporal Representation and Reasoning (TIME 2017); 24th International Symposium on Temporal Representation and Reasoning, TIME 2017; volume:90; numberofpages:17; serie:LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS; http://hdl.handle.net/11573/1403401Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85030693909

الإتاحة: https://doi.org/10.4230/LIPIcs.TIME.2017.6Test
http://hdl.handle.net/11573/1403401Test

المؤلفون: 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

المؤلفون: Almagor, S, Kupferman, O, Perelli, G

العلاقة: https://ora.ox.ac.uk/objects/uuid:b94cd6d4-0759-45cc-89c6-e73a9d97b0b5Test; https://doi.org/10.24963/ijcai.2018/5Test

الإتاحة: https://doi.org/10.24963/ijcai.2018/5Test
https://ora.ox.ac.uk/objects/uuid:b94cd6d4-0759-45cc-89c6-e73a9d97b0b5Test