Sfoglia per Autore
Equilibria for games with combined qualitative and quantitative objectives
2021 Gutierrez, J.; Murano, A.; Perelli, G.; Rubin, S.; Steeples, T.; Wooldridge, M.
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.
Preface
2020 Della Monica, D.; Murano, A.; Sauro, L.
Optimal strategies in weighted limit games
2020 Murano, A.; Rubin, S.; Zimmermann, M.
Assume-guarantee synthesis for prompt linear temporal logic
2020 Fijalkow, N.; Maubert, B.; Murano, A.; Vardi, M.
Dynamic epistemic logic games with epistemic temporal goals
2020 Maubert, B.; Murano, A.; Pinchinat, S.; Schwarzentruber, F.; Stranieri, S.
Behavioral Clustering: A New Approach for Traffic Congestion Evaluation
2020 Balzano, W.; Murano, A.; Sorrentino, L.; Stranieri, S.
Verification of multi-agent systems with public actions against strategy logic
2020 Belardinelli, F.; Lomuscio, A.; Murano, A.; Rubin, S.
Module Checking of Pushdown Multi-agent Systems
2020 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Alternating-time temporal logics with linear past
2020 Bozzelli, L.; Murano, A.; Sorrentino, L.
Hierarchical cost-parity games
2020 Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L.
Nondeterministic strategies and their refinement in strategy logic
2020 De Giacomo, G.; Maubert, B.; Murano, A.
Model-checking graded computation-tree logic with finite path semantics
2020 Murano, A.; Parente, M.; Rubin, S.; Sorrentino, L.
Preface
2020 Murano, A.; Rubin, S.
Synthesizing strategies under expected and exceptional environment behaviors
2020 Aminof, B.; de Giacomo, G.; Lomuscio, A.; Murano, A.; Rubin, S.
Reasoning about quality and fuzziness of strategic behaviours
2020 Bouyer, P.; Kupferman, O.; Markey, N.; Maubert, B.; Murano, A.; Perelli, G.
Preface
2020 Murano, A.; Bouyer, P.; San Pietro, P.; Orlandini, A.
Probabilistic strategy logic
2019 Aminof, B.; Kwiatkowska, M.; 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.
Reasoning about changes of observational power in logics of knowledge and time
2019 Barriere, A.; Maubert, B.; Murano, A.; Rubin, S.
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Equilibria for games with combined qualitative and quantitative objectives | 1.1 Articolo in rivista | 2021 | Gutierrez, J.; Murano, A.; Perelli, G.; Rubin, S.; Steeples, T.; Wooldridge, M. | |
| 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. | |
| Preface | 1.2 Recensione in rivista | 2020 | Della Monica, D.; Murano, A.; Sauro, L. | |
| Optimal strategies in weighted limit games | 4.1 Articoli in Atti di convegno | 2020 | Murano, A.; Rubin, S.; Zimmermann, M. | |
| Assume-guarantee synthesis for prompt linear temporal logic | 4.1 Articoli in Atti di convegno | 2020 | Fijalkow, N.; Maubert, B.; Murano, A.; Vardi, M. | |
| 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. | |
| Behavioral Clustering: A New Approach for Traffic Congestion Evaluation | 4.1 Articoli in Atti di convegno | 2020 | Balzano, W.; Murano, A.; Sorrentino, L.; Stranieri, S. | |
| Verification of multi-agent systems with public actions against strategy logic | 1.1 Articolo in rivista | 2020 | Belardinelli, F.; Lomuscio, A.; Murano, A.; Rubin, S. | |
| Module Checking of Pushdown Multi-agent Systems | 4.1 Articoli in Atti di convegno | 2020 | Bozzelli, Laura; Murano, Aniello; Peron, Adriano | |
| Alternating-time temporal logics with linear past | 1.1 Articolo in rivista | 2020 | Bozzelli, L.; Murano, A.; Sorrentino, L. | |
| Hierarchical cost-parity games | 1.1 Articolo in rivista | 2020 | Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L. | |
| Nondeterministic strategies and their refinement in strategy logic | 4.1 Articoli in Atti di convegno | 2020 | De Giacomo, G.; Maubert, B.; Murano, A. | |
| Model-checking graded computation-tree logic with finite path semantics | 1.1 Articolo in rivista | 2020 | Murano, A.; Parente, M.; Rubin, S.; Sorrentino, L. | |
| Preface | 2.2 Prefazione/Postfazione | 2020 | Murano, A.; Rubin, S. | |
| Synthesizing strategies under expected and exceptional environment behaviors | 4.1 Articoli in Atti di convegno | 2020 | Aminof, B.; de Giacomo, G.; Lomuscio, A.; Murano, A.; Rubin, 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. | |
| Preface | 2.2 Prefazione/Postfazione | 2020 | Murano, A.; Bouyer, P.; San Pietro, P.; Orlandini, A. | |
| Probabilistic strategy logic | 4.1 Articoli in Atti di convegno | 2019 | Aminof, B.; Kwiatkowska, M.; 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. | |
| 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. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile