Sfoglia per Autore
Public and Private Affairs in Strategic Reasoning
2022 Fijalkow, N.; Maubert, B.; Murano, A.; Rubin, S.; Vardi, M.
Verification of agent navigation in partially-known environments
2022 Aminof, B.; Murano, A.; Rubin, S.; Zuleger, F.
Equilibria for games with combined qualitative and quantitative objectives
2021 Gutierrez, J.; Murano, A.; Perelli, G.; Rubin, S.; Steeples, T.; Wooldridge, M.
Reasoning About Agents That May Know Other Agents' Strategies
2021 Belardinelli, F.; Knight, S.; Lomuscio, A.; Maubert, B.; Murano, A.; Rubin, S.
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.
Synthesizing Best-effort Strategies under Multiple Environment Specifications
2021 Aminof, B.; De Giacomo, G.; Lomuscio, A.; Murano, A.; Rubin, S.
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.
Verification of multi-agent systems with public actions against strategy logic
2020 Belardinelli, F.; Lomuscio, A.; Murano, A.; Rubin, S.
Imperfect Information in Alternating-Time Temporal Logic on Finite Traces
2019 Belardinelli, F.; Lomuscio, A.; Murano, A.; Rubin, S.
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.
Planning under LTL environment specifications
2019 Aminof, B.; De Giacomo, G.; Murano, A.; Rubin, S.
Reasoning about changes of observational power in logics of knowledge and time
2019 Barriere, A.; Maubert, B.; Murano, A.; Rubin, S.
Quantifying Bounds in Strategy Logic
2018 Fijalkow, Nathanaël; Maubert, Bastien; Murano, Aniello; Rubin, Sasha
Synthesis under Assumptions
2018 Aminof, Benjamin; De Giacomo, Giuseppe; Murano, Aniello; Rubin, Sasha
Graded modalities in Strategy Logic
2018 Aminof, Benjamin; Malvone, Vadim; Murano, Aniello; Rubin, Sasha
Changing Observations in Epistemic Temporal Logic
2018 Barriere, Aurele; Maubert, Bastien; Murano, Aniello; Rubin, Sasha
Alternating-time Temporal Logic on Finite Traces
2018 Belardinelli, Francesco; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha
Graded CTL* over Finite Paths
2018 Sorrentino, Loredana; Rubin, Sasha; Murano, Aniello
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
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. | |
Verification of agent navigation in partially-known environments | 1.1 Articolo in rivista | 2022 | Aminof, B.; Murano, A.; Rubin, S.; Zuleger, F. | |
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. | |
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. | |
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. | |
Synthesizing Best-effort Strategies under Multiple Environment Specifications | 4.1 Articoli in Atti di convegno | 2021 | Aminof, B.; De Giacomo, G.; Lomuscio, A.; Murano, A.; Rubin, S. | |
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. | |
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. | |
Imperfect Information in Alternating-Time Temporal Logic on Finite Traces | 4.1 Articoli in Atti di convegno | 2019 | Belardinelli, F.; Lomuscio, A.; Murano, A.; Rubin, S. | |
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. | |
Planning under LTL environment specifications | 4.1 Articoli in Atti di convegno | 2019 | Aminof, B.; De Giacomo, G.; Murano, A.; Rubin, S. | |
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. | |
Quantifying Bounds in Strategy Logic | 4.1 Articoli in Atti di convegno | 2018 | Fijalkow, Nathanaël; Maubert, Bastien; Murano, Aniello; Rubin, Sasha | |
Synthesis under Assumptions | 4.2 Abstract in Atti di convegno | 2018 | Aminof, Benjamin; De Giacomo, Giuseppe; Murano, Aniello; Rubin, Sasha | |
Graded modalities in Strategy Logic | 1.1 Articolo in rivista | 2018 | Aminof, Benjamin; Malvone, Vadim; Murano, Aniello; Rubin, Sasha | |
Changing Observations in Epistemic Temporal Logic | 4.2 Abstract in Atti di convegno | 2018 | Barriere, Aurele; Maubert, Bastien; Murano, Aniello; Rubin, Sasha | |
Alternating-time Temporal Logic on Finite Traces | 4.1 Articoli in Atti di convegno | 2018 | Belardinelli, Francesco; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha | |
Graded CTL* over Finite Paths | 4.1 Articoli in Atti di convegno | 2018 | Sorrentino, Loredana; Rubin, Sasha; Murano, Aniello |
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