Sfoglia per Autore
Probabilistic strategy logic
2019 Aminof, B.; Kwiatkowska, M.; Maubert, B.; Murano, A.; Rubin, S.
Natural strategic ability under imperfect information
2019 Jamroga, W.; Malvone, V.; Murano, A.
Planning under LTL environment specifications
2019 Aminof, B.; De Giacomo, G.; Murano, A.; Rubin, S.
Reasoning about quality and fuzziness of strategic behaviours
2019 Bouyer, P.; Kupferman, O.; Markey, N.; Maubert, B.; Murano, A.; Perelli, G.
Towards a tool for LTL synthesis with bounded-energy constraints
2019 Maubert, B.; Murano, A.; Perillo, P.; Rubin, S.; Spasiano, A.
Network Signal Comparison Through Waves Parameters: A Local-Alignment-Based Approach
2019 Balzano, W.; Murano, A.; Sorrentino, L.; Stranieri, S.
A Smart Compact Traffic Network Vision Based on Wave Representation
2019 Balzano, W.; Murano, A.; Sorrentino, L.; Stranieri, S.
Strategy logic with simple goals: Tractable reasoning about strategies
2019 Belardinelli, F.; Jamroga, W.; Kurpiewski, D.; Malvone, V.; Murano, A.
Reasoning about changes of observational power in logics of knowledge and time
2019 Barriere, A.; Maubert, B.; Murano, A.; Rubin, S.
Ultimately-periodic interval model checking for temporal dataset evaluation
2019 Della Monica, D.; Montanari, A.; Murano, A.; Sciavicco, G.
Synthesis under Assumptions
2018 Aminof, Benjamin; De Giacomo, Giuseppe; Murano, Aniello; Rubin, Sasha
Decidable Verification of Multi-agent Systems with Bounded Private Actions
2018 Belardinelli, Francesco; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha
Graded CTL* over Finite Paths
2018 Sorrentino, Loredana; Rubin, Sasha; Murano, Aniello
Dynamic Escape Game
2018 Di Stasio, Antonio; Lambiase, PAOLO DOMENICO; Malvone, Vadim; Murano, Aniello
SNOT-WiFi: Sensor network-optimized training for wireless fingerprinting
2018 Balzano, Walter; Murano, Aniello; Vitale, Fabio
Graded modalities in Strategy Logic
2018 Aminof, Benjamin; Malvone, Vadim; Murano, Aniello; Rubin, Sasha
Alternating-time Temporal Logic on Finite Traces
2018 Belardinelli, Francesco; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha
Changing Observations in Epistemic Temporal Logic
2018 Barriere, Aurele; Maubert, Bastien; Murano, Aniello; Rubin, Sasha
Results on Alternating-Time Temporal Logics with Linear Past
2018 Bozzelli, Laura; Murano, Aniello; Sorrentino, Loredana
Event-Clock Nested Automata
2018 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Probabilistic strategy logic | 4.1 Articoli in Atti di convegno | 2019 | Aminof, B.; Kwiatkowska, M.; Maubert, B.; Murano, A.; Rubin, S. | |
| Natural strategic ability under imperfect information | 4.1 Articoli in Atti di convegno | 2019 | Jamroga, W.; Malvone, V.; Murano, 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 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. | |
| 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. | |
| Network Signal Comparison Through Waves Parameters: A Local-Alignment-Based Approach | 4.1 Articoli in Atti di convegno | 2019 | Balzano, W.; Murano, A.; Sorrentino, L.; Stranieri, S. | |
| A Smart Compact Traffic Network Vision Based on Wave Representation | 4.1 Articoli in Atti di convegno | 2019 | Balzano, W.; Murano, A.; Sorrentino, L.; Stranieri, S. | |
| Strategy logic with simple goals: Tractable reasoning about strategies | 4.1 Articoli in Atti di convegno | 2019 | Belardinelli, F.; Jamroga, W.; Kurpiewski, D.; Malvone, V.; Murano, 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. | |
| Ultimately-periodic interval model checking for temporal dataset evaluation | 4.1 Articoli in Atti di convegno | 2019 | Della Monica, D.; Montanari, A.; Murano, A.; Sciavicco, G. | |
| Synthesis under Assumptions | 4.2 Abstract in Atti di convegno | 2018 | Aminof, Benjamin; De Giacomo, Giuseppe; Murano, Aniello; Rubin, Sasha | |
| Decidable Verification of Multi-agent Systems with Bounded Private Actions | 4.2 Abstract 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 | |
| Dynamic Escape Game | 4.1 Articoli in Atti di convegno | 2018 | Di Stasio, Antonio; Lambiase, PAOLO DOMENICO; Malvone, Vadim; Murano, Aniello | |
| SNOT-WiFi: Sensor network-optimized training for wireless fingerprinting | 1.1 Articolo in rivista | 2018 | Balzano, Walter; Murano, Aniello; Vitale, Fabio | |
| Graded modalities in Strategy Logic | 1.1 Articolo in rivista | 2018 | Aminof, Benjamin; Malvone, Vadim; 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 | |
| Changing Observations in Epistemic Temporal Logic | 4.2 Abstract in Atti di convegno | 2018 | Barriere, Aurele; Maubert, Bastien; Murano, Aniello; Rubin, Sasha | |
| Results on Alternating-Time Temporal Logics with Linear Past | 4.1 Articoli in Atti di convegno | 2018 | Bozzelli, Laura; Murano, Aniello; Sorrentino, Loredana | |
| Event-Clock Nested Automata | 4.1 Articoli in Atti di convegno | 2018 | Bozzelli, Laura; Murano, Aniello; Peron, Adriano |
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