MAUBERT, BASTIEN
MAUBERT, BASTIEN
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II
2016 Murano, Aniello; Rubin, Sasha; Sorrentino, Loredana; Maubert, Bastien; DELLA MONICA, Dario; Malvone, Vadim; Arcucci, Rossella; Di Stasio, Antonio
Dynamic epistemic logic games with epistemic temporal goals
2020 Maubert, B.; Murano, A.; Pinchinat, S.; Schwarzentruber, F.; Stranieri, S.
Reasoning about quality and fuzziness of strategic behaviours
2020 Bouyer, P.; Kupferman, O.; Markey, N.; Maubert, B.; Murano, A.; Perelli, G.
Reasoning about changes of observational power in logics of knowledge and time
2019 Barriere, A.; Maubert, B.; Murano, A.; Rubin, S.
Towards a tool for LTL synthesis with bounded-energy constraints
2019 Maubert, B.; Murano, A.; Perillo, P.; Rubin, S.; Spasiano, A.
Probabilistic strategy logic
2019 Aminof, B.; Kwiatkowska, M.; Maubert, B.; Murano, A.; Rubin, S.
The complexity of model checking knowledge and time
2019 Bozzelli, L.; Maubert, B.; Murano, A.
Strategy logic with imperfect information
2017 Berthon, Raphael; Maubert, Bastien; Murano, Aniello; Rubin, Sasha; Vardi Moshe, Y.
Quantifying Bounds in Strategy Logic
2018 Fijalkow, Nathanaël; Maubert, Bastien; Murano, Aniello; Rubin, Sasha
Strategy Logic with Imperfect Information
2021 Berthon, R.; Maubert, B.; Murano, A.; Rubin, S.; Vardi, M. Y.
Reasoning about Knowledge and Strategies under Hierarchical Information
2018 Maubert, Bastien; Murano, Aniello
Changing Observations in Epistemic Temporal Logic
2018 Barriere, Aurele; Maubert, Bastien; Murano, Aniello; Rubin, Sasha
Reasoning about quality and fuzziness of strategic behaviours
2019 Bouyer, P.; Kupferman, O.; Markey, N.; Maubert, B.; Murano, A.; Perelli, G.
Decidability results for ATL∗ with imperfect information and perfect recall
2017 Berthon, R.; Maubert, B.; Murano, A.
Alternating Tree Automata with Qualitative Semantics
2021 Berthon, R.; Fijalkow, N.; Filiot, E.; Guha, S.; Maubert, B.; Murano, A.; Pinault, L.; Pinchinat, S.; Rubin, S.; Serre, O.
Assume-guarantee synthesis for prompt linear temporal logic
2020 Fijalkow, N.; Maubert, B.; Murano, A.; Vardi, M.
Resilient AI-Based Self-Programming and Strategic Reasoning (RIPER)
2021 Murano, Aniello; D'Amore, Luisa; Laccetti, Giuliano; Maubert, Bastien
Synthesis of Mechanisms with Strategy Logic (Short Paper)
2022 Mittelmann, M.; Maubert, B.; Murano, A.; Perrussel, L.
Public and Private Affairs in Strategic Reasoning
2022 Fijalkow, N.; Maubert, B.; Murano, A.; Rubin, S.; Vardi, M.
Reasoning About Agents That May Know Other Agents' Strategies
2021 Belardinelli, F.; Knight, S.; Lomuscio, A.; Maubert, B.; Murano, A.; Rubin, S.
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II | 8.05 Partecip. Consigli Scientifici/Direttivi | 2016 | Murano, Aniello; Rubin, Sasha; Sorrentino, Loredana; Maubert, Bastien; DELLA MONICA, Dario; Malvone, Vadim; Arcucci, Rossella; Di Stasio, Antonio | |
| Dynamic epistemic logic games with epistemic temporal goals | 4.1 Articoli in Atti di convegno | 2020 | Maubert, B.; Murano, A.; Pinchinat, S.; Schwarzentruber, F.; Stranieri, S. | |
| Reasoning about quality and fuzziness of strategic behaviours | 4.1 Articoli in Atti di convegno | 2020 | Bouyer, P.; Kupferman, O.; Markey, N.; Maubert, B.; Murano, A.; Perelli, G. | |
| Reasoning about changes of observational power in logics of knowledge and time | 4.1 Articoli in Atti di convegno | 2019 | Barriere, A.; Maubert, B.; Murano, A.; Rubin, S. | |
| Towards a tool for LTL synthesis with bounded-energy constraints | 4.1 Articoli in Atti di convegno | 2019 | Maubert, B.; Murano, A.; Perillo, P.; Rubin, S.; Spasiano, A. | |
| Probabilistic strategy logic | 4.1 Articoli in Atti di convegno | 2019 | Aminof, B.; Kwiatkowska, M.; Maubert, B.; Murano, A.; Rubin, S. | |
| The complexity of model checking knowledge and time | 4.1 Articoli in Atti di convegno | 2019 | Bozzelli, L.; Maubert, B.; Murano, A. | |
| Strategy logic with imperfect information | 4.1 Articoli in Atti di convegno | 2017 | Berthon, Raphael; Maubert, Bastien; Murano, Aniello; Rubin, Sasha; Vardi Moshe, Y. | |
| Quantifying Bounds in Strategy Logic | 4.1 Articoli in Atti di convegno | 2018 | Fijalkow, Nathanaël; Maubert, Bastien; Murano, Aniello; Rubin, Sasha | |
| Strategy Logic with Imperfect Information | 1.1 Articolo in rivista | 2021 | Berthon, R.; Maubert, B.; Murano, A.; Rubin, S.; Vardi, M. Y. | |
| Reasoning about Knowledge and Strategies under Hierarchical Information | 4.1 Articoli in Atti di convegno | 2018 | Maubert, Bastien; Murano, Aniello | |
| Changing Observations in Epistemic Temporal Logic | 4.2 Abstract in Atti di convegno | 2018 | Barriere, Aurele; Maubert, Bastien; Murano, Aniello; Rubin, Sasha | |
| Reasoning about quality and fuzziness of strategic behaviours | 4.1 Articoli in Atti di convegno | 2019 | Bouyer, P.; Kupferman, O.; Markey, N.; Maubert, B.; Murano, A.; Perelli, G. | |
| Decidability results for ATL∗ with imperfect information and perfect recall | 4.1 Articoli in Atti di convegno | 2017 | Berthon, R.; Maubert, B.; Murano, A. | |
| Alternating Tree Automata with Qualitative Semantics | 1.1 Articolo in rivista | 2021 | Berthon, R.; Fijalkow, N.; Filiot, E.; Guha, S.; Maubert, B.; Murano, A.; Pinault, L.; Pinchinat, S.; Rubin, S.; Serre, O. | |
| Assume-guarantee synthesis for prompt linear temporal logic | 4.1 Articoli in Atti di convegno | 2020 | Fijalkow, N.; Maubert, B.; Murano, A.; Vardi, M. | |
| Resilient AI-Based Self-Programming and Strategic Reasoning (RIPER) | 8.07 Progetti di Ricerca Finanziati | 2021 | Murano, Aniello; D'Amore, Luisa; Laccetti, Giuliano; Maubert, Bastien | |
| Synthesis of Mechanisms with Strategy Logic (Short Paper) | 4.1 Articoli in Atti di convegno | 2022 | Mittelmann, M.; Maubert, B.; Murano, A.; Perrussel, L. | |
| Public and Private Affairs in Strategic Reasoning | 4.1 Articoli in Atti di convegno | 2022 | Fijalkow, N.; Maubert, B.; Murano, A.; Rubin, S.; Vardi, M. | |
| Reasoning About Agents That May Know Other Agents' Strategies | 4.1 Articoli in Atti di convegno | 2021 | Belardinelli, F.; Knight, S.; Lomuscio, A.; Maubert, B.; Murano, A.; Rubin, S. |