المؤلفون: Laura Bozzelli, Loredana Sorrentino, Giuseppe Perelli, Aniello Murano

المساهمون: Bozzelli, L., Murano, A., Perelli, G., Sorrentino, L., Bozzelli, Laura, Murano, Aniello, Perelli, Giuseppe, Sorrentino, Loredana

مصطلحات موضوعية: Hierarchical system, Consumption (economics), Matching (statistics), Theoretical computer science, 000 Computer science, knowledge, general works, Cost parity games, Formal Methods, Hierarchical Systems, Parity Games, General Computer Science, Computer science, Parity game, Cost-parity games, Hierarchical systems, Parity games, System verification, Formal methods, Theoretical Computer Science, Bounded function, Cost-parity game, Computer Science, Systems design, Representation (mathematics), Software, PSPACE

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ab4aee66f821abc515312a511340c98Test
http://hdl.handle.net/11588/827088Test

المؤلفون: Nicolas Markey, Bastien Maubert, Aniello Murano, Orna Kupferman, Patricia Bouyer, Giuseppe Perelli

المساهمون: Laboratoire Spécification et Vérification [Cachan] (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), The Hebrew University of Jerusalem (HUJ), SUpervision of large MOdular and distributed systems (SUMO), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Dipartimento di Ingegneria Elettrica e delle Tecnologie dell'Informazione [Napoli] (DIETI), University of Naples Federico II = Università degli studi di Napoli Federico II, University of Leicester, European Project: 308087,EC:FP7:ERC,ERC-2012-StG_20111012,EQUALIS(2013), Bouyer, P., Kupferman, O., Markey, N., Maubert, B., Murano, A., Perelli, G., Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Università degli studi di Napoli Federico II

المصدر: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
IJCAI 2019-28th International Joint Conference on Artificial Intelligence
IJCAI 2019-28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1588-1594, ⟨10.24963/ijcai.2019/220⟩
IJCAI
Scopus-Elsevier

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 0209 industrial biotechnology, Theoretical computer science, Computer science, media_common.quotation_subject, Stability (learning theory), 02 engineering and technology, Fuzzy logic, Multi-Agent Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], 020901 industrial engineering & automation, 0202 electrical engineering, electronic engineering, information engineering, Quality (business), ComputingMilieux_MISCELLANEOUS, media_common, Strategy Logic, Fuzzy Reasoning, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Extension (predicate logic), Logic in Computer Science (cs.LO), Qualitative reasoning, [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], 020201 artificial intelligence & image processing, Value (mathematics)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0a8b9acdb67963b83bd7446d0065a88cTest
http://hdl.handle.net/11573/1403362Test