Sledovať
Sasha Rubin
Názov
Citované v
Citované v
Rok
Decidability in parameterized verification
R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder
ACM SIGACT News 47 (2), 53-64, 2016
2172016
Automatic structures: richness and limitations
B Khoussainov, A Nies, S Rubin, F Stephan
Logical methods in computer science 3, 2007
1352007
Automata presenting structures: A survey of the finite string case
S Rubin
Bulletin of Symbolic Logic 14 (2), 169-209, 2008
1222008
Strategy logic with imperfect information
R Berthon, B Maubert, A Murano, S Rubin, MY Vardi
ACM Transactions on Computational Logic (TOCL) 22 (1), 1-51, 2021
1182021
Automatic structures
S Rubin
University of Auckland, 2004
852004
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals.
G De Giacomo, S Rubin
IJCAI, 4729-4735, 2018
842018
Automatic linear orders and trees
B Khoussainov, S Rubin, F Stephan
ACM Transactions on Computational Logic (TOCL) 6 (4), 675-700, 2005
812005
Verification of Multi-agent Systems with Imperfect Information and Public Actions.
F Belardinelli, A Lomuscio, A Murano, S Rubin
AAMAS 17, 1268-1276, 2017
762017
Parameterized model checking of token-passing systems
B Aminof, S Jacobs, A Khalimov, S Rubin
International Conference on Verification, Model Checking, and Abstract …, 2014
692014
Verification of broadcasting multi-agent systems against an epistemic strategy logic.
F Belardinelli, A Lomuscio, A Murano, S Rubin
IJCAI 17, 91-97, 2017
602017
Pure-past linear temporal and dynamic logic on finite traces
G De Giacomo, A Di Stasio, F Fuggitti, S Rubin
IJCAI, 4959-4965, 2020
562020
Probabilistic strategy logic
B Aminof, M Kwiatkowska, B Maubert, A Murano, S Rubin
Artificial Intelligence, 2019
532019
Parameterized model checking of rendezvous systems
B Aminof, T Kotek, S Rubin, F Spegni, H Veith
International Conference on Concurrency Theory, 109-124, 2014
532014
Verifying ω-Regular Properties of Markov Chains
D Bustan, S Rubin, MY Vardi
International Conference on Computer Aided Verification, 189-201, 2004
512004
Definability and regularity in automatic structures
B Khoussainov, S Rubin, F Stephan
Annual Symposium on Theoretical Aspects of Computer Science, 440-451, 2004
492004
Planning under LTL environment specifications
B Aminof, G De Giacomo, A Murano, S Rubin
Proceedings of the International Conference on Automated Planning and …, 2019
482019
Automatic structures: Overview and future directions
B Khoussainov, S Rubin
Journal of Automata, Languages and Combinatorics 8 (2), 287-301, 2003
452003
Generalized planning: Non-deterministic abstractions and trajectory constraints
B Bonet, G De Giacomo, H Geffner, S Rubin
arXiv preprint arXiv:1909.12135, 2019
442019
Sufficient reasons for classifier decisions in the presence of domain constraints
N Gorji, S Rubin
Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5660-5667, 2022
432022
On automatic partial orders
B Khoussainov, S Rubin, F Stephan
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003
432003
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20