RUBIN, SASHA
RUBIN, SASHA
Imperfect-Information Games and Generalized Planning
2016 De Giacomo, Giuseppe; Murano, Aniello; Rubin, Sasha; Di Stasio, Antonio
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
Nash equilibria in concurrent games with lexicographic preferences
2017 Gutierrez, Julian; Murano, Aniello; Perelli, Giuseppe; Rubin, Sasha; Wooldridge, Michael
Automatic verification of multi-agent systems in parameterised grid-environments
2016 Aminof, Benjamin; Murano, Aniello; Rubin, Sasha; Zuleger, Florian
On CTL* With graded path modalities
2015 Aminof, Benjamin; Murano, Aniello; Rubin, Sasha
Verification of asynchronous mobile-robots in partially-known environments (Best Paper Award)
2015 Rubin, Sasha; Zuleger, Florian; Murano, Aniello; Aminof, Benjamin
The Measurement of the Anomalous Magnetic Moment of the Muon at Fermilab
2015 Logashenko, I.; Grange, J.; Winter, P.; Carey, R. M.; Hazen, E.; Kinnaird, N.; Miller, J. P.; Mott, J.; Roberts, B. L.; Crnkovic, J.; Morse, W. M.; Sayed, H. Kamal; Tishchenko, V.; Druzhinin, V. P.; Shatunov, Y. M.; Bjorkquist, R.; Chapelain, A.; Eggert, N.; Frankenthal, A.; Gibbons, L.; Kim, S.; Mikhailichenko, A.; Orlov, Y.; Rider, N.; Rubin, D.; Sweigart, D.; Allspach, D.; Barzi, E.; Casey, B.; Convery, M. E.; Drendel, B.; Freidsam, H.; Johnstone, C.; Johnstone, J.; Kiburg, B.; Kourbanis, I.; Lyon, A. L.; Merritt, K. W.; Morgan, J. P.; Nguyen, H.; Ostiguy, J. -F.; Para, A.; Polly, C. C.; Popovic, M.; Ramberg, E.; Rominsky, M.; Soha, A. K.; Still, D.; Walton, T.; Yoshikawa, C.; Jungmann, K.; Onderwater, C. J. G.; Debevec, P.; Leo, S.; Pitts, K.; Schlesier, C.; Anastasi, A.; Babusci, D.; Corradi, G.; Hampai, D.; Palladino, A.; Venanzoni, G.; Dabagov, S.; Ferrari, C.; Fioretti, A.; Gabbanini, C.; Di Stefano, R.; Marignetti, S.; Iacovacci, M.; Mastroianni, S.; Di Sciascio, G.; Moricciani, D.; Cantatore, G.; Karuza, M.; Giovanetti, K.; Baranov, V.; Duginov, V.; Khomutov, N.; Krylov, V.; Kuchinskiy, N.; Volnykh, V.; Gaisser, M.; Haciomeroglu, S.; Kim, Y.; Lee, S.; Lee, M.; Semertzidis, Y. K.; Won, E.; Fatemi, R.; Gohn, W.; Gorringe, T.; Bowcock, T.; Carroll, J.; King, B.; Maxfield, S.; Smith, A.; Teubner, T.; Whitley, M.; Wormald, M.; Wolski, A.; Al-Kilani, S.; Chislett, R.; Lancaster, M.; Motuk, E.; Stuttard, T.; Warren, M.; Flay, D.; Kawall, D.; Meadows, Z.; Syphers, M.; Tarazona, D.; Chupp, T.; Tewlsey-Booth, A.; Quinn, B.; Eads, M.; Epps, A.; Luo, G.; Mcevoy, M.; Pohlman, N.; Shenk, M.; de Gouvea, A.; Welty-Rieger, L.; Schellman, H.; Abys, Salvatore; Azfar, F.; Henry, S.; Gray, F.; Fu, C.; Ji, X.; Li, L.; Yang, H.; Stockinger, D.; Cauz, D.; Pauletta, G.; Santi, L.; Baessler, S.; Frlez, E.; Pocanic, D.; Alonzi, L. P.; Fertl, M.; Fienberg, A.; Froemming, N.; Garcia, A.; Hertzog, D. W.; Kammel, P.; Kaspar, J.; Osofsky, R.; Smith, M.; Swanson, E.; Lynch, K.
CTL* with graded path modalities
2018 Aminof, Benjamin; Murano, Aniello; Rubin, Sasha
Verification of multi-agent systems with public actions against strategy logic
2020 Belardinelli, F.; Lomuscio, A.; Murano, A.; Rubin, S.
Equilibria for games with combined qualitative and quantitative objectives
2021 Gutierrez, J.; Murano, A.; Perelli, G.; Rubin, S.; Steeples, T.; Wooldridge, M.
Preface
2020 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.
Towards a tool for LTL synthesis with bounded-energy constraints
2019 Maubert, B.; Murano, A.; Perillo, P.; Rubin, S.; Spasiano, A.
Graded CTL* over Finite Paths
2018 Sorrentino, Loredana; Rubin, Sasha; Murano, Aniello
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.
Verification of broadcasting multi-agent systems against an epistemic strategy logic
2017 Belardinelli, Francesco; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha
Alternating-time Temporal Logic on Finite Traces
2018 Belardinelli, Francesco; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha
Strategy logic with imperfect information
2017 Berthon, Raphael; Maubert, Bastien; Murano, Aniello; Rubin, Sasha; Vardi Moshe, Y.
Planning under LTL environment specifications
2019 Aminof, B.; De Giacomo, G.; Murano, A.; Rubin, S.
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Imperfect-Information Games and Generalized Planning | 4.1 Articoli in Atti di convegno | 2016 | De Giacomo, Giuseppe; Murano, Aniello; Rubin, Sasha; Di Stasio, Antonio | |
| 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 | |
| Nash equilibria in concurrent games with lexicographic preferences | 4.1 Articoli in Atti di convegno | 2017 | Gutierrez, Julian; Murano, Aniello; Perelli, Giuseppe; Rubin, Sasha; Wooldridge, Michael | |
| Automatic verification of multi-agent systems in parameterised grid-environments | 4.1 Articoli in Atti di convegno | 2016 | Aminof, Benjamin; Murano, Aniello; Rubin, Sasha; Zuleger, Florian | |
| On CTL* With graded path modalities | 4.1 Articoli in Atti di convegno | 2015 | Aminof, Benjamin; Murano, Aniello; Rubin, Sasha | |
| Verification of asynchronous mobile-robots in partially-known environments (Best Paper Award) | 4.1 Articoli in Atti di convegno | 2015 | Rubin, Sasha; Zuleger, Florian; Murano, Aniello; Aminof, Benjamin | |
| The Measurement of the Anomalous Magnetic Moment of the Muon at Fermilab | 1.1 Articolo in rivista | 2015 | Logashenko, I.; Grange, J.; Winter, P.; Carey, R. M.; Hazen, E.; Kinnaird, N.; Miller, J. P.; Mott, J.; Roberts, B. L.; Crnkovic, J.; Morse, W. M.; Sayed, H. Kamal; Tishchenko, V.; Druzhinin, V. P.; Shatunov, Y. M.; Bjorkquist, R.; Chapelain, A.; Eggert, N.; Frankenthal, A.; Gibbons, L.; Kim, S.; Mikhailichenko, A.; Orlov, Y.; Rider, N.; Rubin, D.; Sweigart, D.; Allspach, D.; Barzi, E.; Casey, B.; Convery, M. E.; Drendel, B.; Freidsam, H.; Johnstone, C.; Johnstone, J.; Kiburg, B.; Kourbanis, I.; Lyon, A. L.; Merritt, K. W.; Morgan, J. P.; Nguyen, H.; Ostiguy, J. -F.; Para, A.; Polly, C. C.; Popovic, M.; Ramberg, E.; Rominsky, M.; Soha, A. K.; Still, D.; Walton, T.; Yoshikawa, C.; Jungmann, K.; Onderwater, C. J. G.; Debevec, P.; Leo, S.; Pitts, K.; Schlesier, C.; Anastasi, A.; Babusci, D.; Corradi, G.; Hampai, D.; Palladino, A.; Venanzoni, G.; Dabagov, S.; Ferrari, C.; Fioretti, A.; Gabbanini, C.; Di Stefano, R.; Marignetti, S.; Iacovacci, M.; Mastroianni, S.; Di Sciascio, G.; Moricciani, D.; Cantatore, G.; Karuza, M.; Giovanetti, K.; Baranov, V.; Duginov, V.; Khomutov, N.; Krylov, V.; Kuchinskiy, N.; Volnykh, V.; Gaisser, M.; Haciomeroglu, S.; Kim, Y.; Lee, S.; Lee, M.; Semertzidis, Y. K.; Won, E.; Fatemi, R.; Gohn, W.; Gorringe, T.; Bowcock, T.; Carroll, J.; King, B.; Maxfield, S.; Smith, A.; Teubner, T.; Whitley, M.; Wormald, M.; Wolski, A.; Al-Kilani, S.; Chislett, R.; Lancaster, M.; Motuk, E.; Stuttard, T.; Warren, M.; Flay, D.; Kawall, D.; Meadows, Z.; Syphers, M.; Tarazona, D.; Chupp, T.; Tewlsey-Booth, A.; Quinn, B.; Eads, M.; Epps, A.; Luo, G.; Mcevoy, M.; Pohlman, N.; Shenk, M.; de Gouvea, A.; Welty-Rieger, L.; Schellman, H.; Abys, Salvatore; Azfar, F.; Henry, S.; Gray, F.; Fu, C.; Ji, X.; Li, L.; Yang, H.; Stockinger, D.; Cauz, D.; Pauletta, G.; Santi, L.; Baessler, S.; Frlez, E.; Pocanic, D.; Alonzi, L. P.; Fertl, M.; Fienberg, A.; Froemming, N.; Garcia, A.; Hertzog, D. W.; Kammel, P.; Kaspar, J.; Osofsky, R.; Smith, M.; Swanson, E.; Lynch, K. | |
| CTL* with graded path modalities | 1.1 Articolo in rivista | 2018 | Aminof, Benjamin; Murano, Aniello; Rubin, Sasha | |
| 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. | |
| 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. | |
| Preface | 2.2 Prefazione/Postfazione | 2020 | 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. | |
| 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. | |
| Graded CTL* over Finite Paths | 4.1 Articoli in Atti di convegno | 2018 | Sorrentino, Loredana; Rubin, Sasha; Murano, Aniello | |
| 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. | |
| Verification of broadcasting multi-agent systems against an epistemic strategy logic | 4.1 Articoli in Atti di convegno | 2017 | Belardinelli, Francesco; Lomuscio, Alessio; 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 | |
| Strategy logic with imperfect information | 4.1 Articoli in Atti di convegno | 2017 | Berthon, Raphael; Maubert, Bastien; Murano, Aniello; Rubin, Sasha; Vardi Moshe, Y. | |
| Planning under LTL environment specifications | 4.1 Articoli in Atti di convegno | 2019 | Aminof, B.; De Giacomo, G.; Murano, A.; Rubin, S. |