Shaull Almagor
Shaull Almagor
Assistant Professor, Technion
Verifierad e-postadress på cs.technion.ac.il - Startsida
Titel
Citeras av
Citeras av
År
What's decidable about weighted automata?
S Almagor, U Boker, O Kupferman
Information and Computation, 104651, 2020
832020
Discounting in LTL
S Almagor, U Boker, O Kupferman
International Conference on Tools and Algorithms for the Construction and …, 2014
532014
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
492015
Formalizing and reasoning about quality
S Almagor, U Boker, O Kupferman
International Colloquium on Automata, Languages, and Programming, 15-27, 2013
342013
Repairing multi-player games
S Almagor, G Avni, O Kupferman
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
272015
Formally reasoning about quality
S Almagor, U Boker, O Kupferman
Journal of the ACM (JACM) 63 (3), 1-56, 2016
262016
Strategyproof classification
R Meir, JS Rosenschein
ACM SIGecom Exchanges 10 (3), 21-25, 2011
232011
Formalizing and reasoning about quality
S Almagor, U Boker, O Kupferman
172012
Max and sum semantics for alternating weighted automata
S Almagor, O Kupferman
International Symposium on Automated Technology for Verification and …, 2011
152011
Promptness in ω-Regular Automata
S Almagor, Y Hirshfeld, O Kupferman
International Symposium on Automated Technology for Verification and …, 2010
152010
O-minimal invariants for linear loops
S Almagor, D Chistikov, J Ouaknine, J Worrell
Leibniz Center for Informatics, 2018
142018
Latticed-LTL synthesis in the presence of noisy inputs
S Almagor, O Kupferman
Discrete Event Dynamic Systems 27 (3), 547-572, 2017
102017
Synthesis of Controllable Nash Equilibria in Quantitative Objective Game.
S Almagor, O Kupferman, G Perelli
IJCAI 18, 35-41, 2018
92018
Minimizing expected cost under hard boolean constraints, with applications to quantitative synthesis
S Almagor, O Kupferman, Y Velner
arXiv preprint arXiv:1604.07064, 2016
92016
The sensing cost of monitoring and synthesis
S Almagor, D Kuperberg, O Kupferman
FSTTCS, 2015
92015
Explainable multi agent path finding
S Almagor, M Lahijanian
To appear in Int’l Conference on Autonomous Agents and Multi-agent Systems …, 2020
72020
Quantitative assume guarantee synthesis
S Almagor, O Kupferman, JO Ringert, Y Velner
International Conference on Computer Aided Verification, 353-374, 2017
72017
Regular sensing
S Almagor, D Kuperberg, O Kupferman
34th International Conference on Foundation of Software Technology and …, 2014
72014
High-quality synthesis against stochastic environments
S Almagor, O Kupferman
arXiv preprint arXiv:1608.06567, 2016
62016
Automatic generation of quality specifications
S Almagor, G Avni, O Kupferman
International Conference on Computer Aided Verification, 479-494, 2013
62013
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20