Παρακολούθηση
Shaull Almagor
Shaull Almagor
Assistant Professor, Technion
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.technion.ac.il - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
What’s decidable about weighted automata?
S Almagor, U Boker, O Kupferman
Automated Technology for Verification and Analysis: 9th International …, 2011
109*2011
This time the robot settles for a cost: A quantitative approach to temporal logic planning with partial satisfaction
M Lahijanian, S Almagor, D Fried, L Kavraki, M Vardi
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
872015
Discounting in LTL
S Almagor, U Boker, O Kupferman
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
762014
Formally reasoning about quality
S Almagor, U Boker, O Kupferman
Journal of the ACM (JACM) 63 (3), 1-56, 2016
642016
Formalizing and reasoning about quality
S Almagor, U Boker, O Kupferman
International Colloquium on Automata, Languages, and Programming, 15-27, 2013
412013
Strategyproof classification
R Meir, JS Rosenschein
ACM SIGecom Exchanges 10 (3), 21-25, 2011
382011
Explainable multi agent path finding
S Almagor, M Lahijanian
AAMAS, 2020
352020
Repairing multi-player games
S Almagor, G Avni, O Kupferman
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
322015
Conflict-based search for multi-robot motion planning with kinodynamic constraints
J Kottinger, S Almagor, M Lahijanian
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2022
292022
Synthesis of controllable nash equilibria in games with quantitative objectives
S Almagor, O Kupferman, G Perelli
International Joint Conference on Artificial Intelligence, 2018
252018
Formalizing and reasoning about quality
S Almagor, U Boker, O Kupferman
Journal of the ACM 63 (3), 24, 2016
252016
Good-enough synthesis
S Almagor, O Kupferman
International Conference on Computer Aided Verification, 541-563, 2020
242020
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
232021
Max and sum semantics for alternating weighted automata
S Almagor, O Kupferman
International Symposium on Automated Technology for Verification and …, 2011
212011
O-minimal invariants for linear loops
S Almagor, D Chistikov, J Ouaknine, J Worrell
45th International Colloquium on Automata, Languages, and Programming (ICALP …, 2018
192018
Minimizing expected cost under hard boolean constraints, with applications to quantitative synthesis
S Almagor, O Kupferman, Y Velner
arXiv preprint arXiv:1604.07064, 2016
172016
Promptness in ω-Regular Automata
S Almagor, Y Hirshfeld, O Kupferman
Automated Technology for Verification and Analysis: 8th International …, 2010
172010
Quantitative assume guarantee synthesis
S Almagor, O Kupferman, JO Ringert, Y Velner
International Conference on Computer Aided Verification, 353-374, 2017
152017
Conflict-based search for explainable multi-agent path finding
J Kottinger, S Almagor, M Lahijanian
Proceedings of the International Conference on Automated Planning and …, 2022
142022
MAPS-X: Explainable multi-robot motion planning via segmentation
J Kottinger, S Almagor, M Lahijanian
2021 IEEE International Conference on Robotics and Automation (ICRA), 7994-8000, 2021
142021
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20