RUBIN, SASHA

RUBIN, SASHA  

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