المؤلفون: Schmuck, Anne-Kathrin, Heim, Philippe, Dimitrova, Rayna, Nayak, Satya Prakash

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

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

المؤلفون: Nayak, Satya Prakash, Schmuck, Anne-Kathrin

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

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

المؤلفون: Schmuck, Anne-Kathrin, Thejaswini, K. S., Sağlam, Irmak, Nayak, Satya Prakash

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

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

المؤلفون: Nayak, Satya Prakash^{Aff1, IDs11334024005527_cor1}, Neider, Daniel^{Aff2, Aff3, IDs11334024005527_cor2}, Roy, Rajarshi^{Aff1, IDs11334024005527_cor3}, Zimmermann, Martin^{Aff4, IDs11334024005527_cor4}

المصدر: Innovations in Systems and Software Engineering: A NASA Journal. :1-23

المؤلفون: Anand, Ashwani, Nayak, Satya Prakash, Schmuck, Anne-Kathrin

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

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

المؤلفون: Anand, Ashwani, Nayak, Satya Prakash, Schmuck, Anne-Kathrin

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

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

المؤلفون: Nayak, Satya Prakash, Egidio, Lucas Neves, Della Rossa, Matteo, Schmuck, Anne-Kathrin, Jungers, Raphaël

المصدر: IEEE Open Journal of Control Systems 2023

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control, Computer Science - Computer Science and Game Theory

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

المؤلفون: Schmuck, Anne-Kathrin^Aff9, Heim, Philippe^Aff10, Dimitrova, Rayna^Aff10, Nayak, Satya Prakash^Aff9

المساهمون: Goos, Gerhard, Series 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, Gurfinkel, Arie, editor^Aff7, Ganesh, Vijay, editor^Aff8

المصدر: Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III. 14683:135-158

المؤلفون: Schmuck, Anne-Kathrin^Aff29, Thejaswini, K. S.^Aff30, Sağlam, Irmak^Aff29, Nayak, Satya Prakash^Aff29

المساهمون: Goos, Gerhard, Series Editor^{Aff1, Aff19}, Hartmanis, Juris, Founding Editor^{Aff2, Aff20}, van Leeuwen, Jan, Series Editor^Aff3, Hutchison, David, Editorial Board Member^Aff4, Kanade, Takeo, Editorial Board Member^Aff5, Kittler, Josef, Editorial Board Member^Aff6, Kleinberg, Jon M., Editorial Board Member^Aff7, Kobsa, Alfred, Series Editor^Aff8, Mattern, Friedemann, Editorial Board Member^Aff9, Mitchell, John C., Editorial Board Member^Aff10, Naor, Moni, Editorial Board Member^Aff11, Nierstrasz, Oscar, Series Editor^Aff12, Pandu Rangan, C., Editorial Board Member^Aff13, Sudan, Madhu, Series Editor^Aff14, Terzopoulos, Demetri, Editorial Board Member^Aff15, Tygar, Doug, Editorial Board Member^Aff16, Weikum, Gerhard, Series Editor^Aff17, Vardi, Moshe Y, Series Editor^Aff18, Bertino, Elisa, Editorial Board Member^Aff21, Gao, Wen, Editorial Board Member^Aff22, Steffen, Bernhard, Editorial Board Member^Aff23, Yung, Moti, Editorial Board Member^Aff24, Woeginger, Gerhard, Editorial Board Member^Aff25, Dimitrova, Rayna, editor^Aff26, Lahav, Ori, editor^Aff27, Wolff, Sebastian, editor^Aff28

المصدر: Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I. 14499:208-231

المؤلفون: Anand, Ashwani, Mallik, Kaushik, Nayak, Satya Prakash, Schmuck, Anne-Kathrin

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

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