المؤلفون: Raha, Ritam, Roy, Rajarshi, Fijalkow, Nathanael, Neider, Daniel, Perez, Guillermo A.

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2310.17410

المؤلفون: Raha, Ritam^{Aff10, Aff11}, Roy, Rajarshi^Aff12, Fijalkow, Nathanaël^Aff11, Neider, Daniel^{Aff13, Aff14}, Pérez, Guillermo A.^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Dimitrova, Rayna, editor^Aff7, Lahav, Ori, editor^Aff8, Wolff, Sebastian, editor^Aff9

المصدر: Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II. 14500:264-288

المؤلفون: Raha, Ritam, Roy, Rajarshi, Fijalkow, Nathanaël, Neider, Daniel

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Formal Languages and Automata Theory, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/2110.06726

المؤلفون: Bellis, Stijn^Aff10, Denil, Joachim^Aff10, Krishnamurthy, Ramesh^Aff10, Leys, Tim^Aff10, Pérez, Guillermo A.^Aff10, Raha, Ritam^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Bournez, Olivier, editor^Aff7, Formenti, Enrico, editor^Aff8, Potapov, Igor, editor^Aff9

المصدر: Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings. 14235:141-154

المؤلفون: Pérez, Guillermo A., Raha, Ritam

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory

URL الوصول: http://arxiv.org/abs/2005.01071

المؤلفون: Hélouët, Loïc, Markey, Nicolas, Raha, Ritam

المصدر: EPTCS 305, 2019, pp. 17-33

مصطلحات موضوعية: Computer Science - Computer Science and Game Theory

URL الوصول: http://arxiv.org/abs/1909.07653

المؤلفون: Raha, Ritam^{Aff10, Aff11}, Roy, Rajarshi^Aff12, Fijalkow, Nathanaël^{Aff11, Aff13}, Neider, Daniel^Aff12

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Fisman, Dana, editor^Aff8, Rosu, Grigore, editor^Aff9

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I. 13243:263-280

المؤلفون: Hélouët, Loïc, Markey, Nicolas, Raha, Ritam

المصدر: In Information and Computation May 2022 285 Part B

المؤلفون: P��rez, Guillermo A., Raha, Ritam

المصدر: LIPIcs : Leibniz International Proceedings in Informatics

مصطلحات موضوعية: FOS: Computer and information sciences, Computer. Automation, Parametric one-counter automata, Theory of computation ��� Quantitative automata, Computer Science - Logic in Computer Science, Software Verification, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, Reachability, Theory of computation ��� Logic and verification, Computer Science::Formal Languages and Automata Theory, Logic in Computer Science (cs.LO)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ec6dac19e674c376e453ad4c58805e26