IRIS

MAUBERT, BASTIEN

MAUBERT, BASTIEN  

Mostra records
Risultati 1 - 20 di 26 (tempo di esecuzione: 0.061 secondi).
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.