المؤلفون: Gracia, Ibon, Laurenti, Luca, Mazo Jr., Manuel, Abate, Alessandro, Lahijanian, Morteza

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

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

المؤلفون: Mazo Jr., Manuel, Compton, Will, Cohen, Max H., Ames, Aaron D.

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

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

المؤلفون: Ong, Pio, Mazo Jr., Manuel, Ames, Aaron D.

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

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

المؤلفون: Coppola, Rudi, Peruffo, Andrea, Romao, Licio, Abate, Alessandro, Mazo Jr, Manuel

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

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

المؤلفون: Coppola, Rudi, Peruffo, Andrea, Mazo Jr, Manuel

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

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

المؤلفون: Gracia, Ibon, Boskos, Dimitris, Lahijanian, Morteza, Laurenti, Luca, Mazo Jr, Manuel

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

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

المؤلفون: Coppola, Rudi, Peruffo, Andrea, Mazo Jr, Manuel

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

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

المؤلفون: Delimpaltadakis, Giannis, Lahijanian, Morteza, Mazo Jr., Manuel, Laurenti, Luca

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

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

المؤلفون: Ornia, Daniel Jarne, Romao, Licio, Hammond, Lewis, Mazo Jr., Manuel, Abate, Alessandro

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Robotics

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

المؤلفون: Ornia, Daniel Jarne, Mazo Jr, Manuel

المصدر: Formal Modeling and Analysis of Timed Systems. FORMATS 2022. Lecture Notes in Computer Science, vol 13465. Springer, Cham

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

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

المؤلفون: Peruffo, Andrea, Mazo Jr, Manuel

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

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

المؤلفون: Gleizer, Gabriel de Albuquerque, Madnani, Khushraj Nanik, Mazo Jr, Manuel

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

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

المؤلفون: Delimpaltadakis, Giannis, Gleizer, Gabriel de A., van Straalen, Ivo, Mazo Jr, Manuel

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

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

المؤلفون: Delimpaltadakis, Giannis, Laurenti, Luca, Mazo Jr, Manuel

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

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

المؤلفون: Gleizer, Gabriel de Albuquerque, Mazo Jr, Manuel

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

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

المؤلفون: Gleizer, Gabriel de Albuquerque, Mazo Jr, Manuel

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

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

المؤلفون: Ornia, Daniel Jarne, Mazo Jr, Manuel

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Multiagent Systems

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

المؤلفون: Krishna, Shankara Narayanan, Madnani, Khushraj Nanik, Mazo Jr., Manuel, Pandya, Paritosh K.

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

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

المؤلفون: Adams, Steven, Ornia, Daniel Jarne, Mazo Jr, Manuel

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

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

المؤلفون: Krishna, Shankara Narayanan, Madnani, Khushraj, Mazo Jr., Manuel, Pandya, Paritosh K.

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

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