Folgen
Shaull Almagor
Shaull Almagor
Assistant Professor, Technion
Bestätigte E-Mail-Adresse bei cs.technion.ac.il - Startseite
Titel
Zitiert von
Zitiert von
Jahr
What’s decidable about weighted automata?
S Almagor, U Boker, O Kupferman
Automated Technology for Verification and Analysis: 9th International …, 2011
1012011
This time the robot settles for a cost: A quantitative approach to temporal logic planning with partial satisfaction
M Lahijanian, S Almagor, D Fried, LE Kavraki, MY Vardi
Twenty-ninth AAAI conference on artificial intelligence, 2015
722015
Discounting in LTL.
S Almagor, U Boker, O Kupferman
TACAS 14, 424-439, 2014
582014
Formalizing and reasoning about quality
S Almagor, U Boker, O Kupferman
Automata, Languages, and Programming: 40th International Colloquium, ICALP …, 2013
392013
Formally reasoning about quality
S Almagor, U Boker, O Kupferman
Journal of the ACM (JACM) 63 (3), 1-56, 2016
342016
Strategyproof classification
R Meir, JS Rosenschein
ACM SIGecom Exchanges 10 (3), 21-25, 2011
322011
Repairing multi-player games
S Almagor, G Avni, O Kupferman
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
292015
Formalizing and reasoning about quality
S Almagor, U Boker, O Kupferman
Journal of the ACM 63 (3), 24, 2016
222016
Explainable multi agent path finding
S Almagor, M Lahijanian
AAMAS, 2020
212020
Max and sum semantics for alternating weighted automata
S Almagor, O Kupferman
Automated Technology for Verification and Analysis: 9th International …, 2011
212011
O-minimal invariants for linear loops
S Almagor, D Chistikov, J Ouaknine, J Worrell
Leibniz Center for Informatics, 2018
192018
Promptness in ω-Regular Automata
S Almagor, Y Hirshfeld, O Kupferman
Automated Technology for Verification and Analysis: 8th International …, 2010
162010
Good-enough synthesis
S Almagor, O Kupferman
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
142020
Quantitative assume guarantee synthesis
S Almagor, O Kupferman, JO Ringert, Y Velner
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
142017
Deciding ω-regular properties on linear recurrence sequences
S Almagor, T Karimov, E Kelmendi, J Ouaknine, J Worrell
Proceedings of the ACM on Programming Languages 5 (POPL), 1-24, 2021
132021
Minimizing expected cost under hard boolean constraints, with applications to quantitative synthesis
S Almagor, O Kupferman, Y Velner
arXiv preprint arXiv:1604.07064, 2016
132016
Synthesis of Controllable Nash Equilibria in Quantitative Objective Game.
S Almagor, O Kupferman, G Perelli
IJCAI 18, 35-41, 2018
122018
Latticed-LTL synthesis in the presence of noisy inputs
S Almagor, O Kupferman
Discrete Event Dynamic Systems 27, 547-572, 2017
112017
High-quality synthesis against stochastic environments
S Almagor, O Kupferman
arXiv preprint arXiv:1608.06567, 2016
112016
Effective divergence analysis for linear recurrence sequences
S Almagor, B Chapman, M Hosseini, J Ouaknine, J Worrell
arXiv preprint arXiv:1806.07740, 2018
92018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20