Shaull Almagor

Citado por

	Todos	Desde 2019
Citações	889	577
Índice h	17	14
Índice i10	26	21

140

105

20092010201120122013201420152016201720182019202020212022202320243 2 5 11 12 27 49 74 48 64 47 69 84 106 133 137

Acesso público

Ver tudo

18 artigos

1 artigo

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Orna KupfermanProfessor of Computer Science, The Hebrew UniversityEmail confirmado em cs.huji.ac.il
Udi BokerComputer Science, Reichman University, Herzliya, IsraelEmail confirmado em idc.ac.il
Morteza LahijanianUniversity of Colorado BoulderEmail confirmado em colorado.edu
James WorrellProfessor of Computer Science, Oxford UniversityEmail confirmado em cs.ox.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail confirmado em mpi-sws.org
Justin KottingerGraduate Researcher in the Ann & H.J. Smead Aerospace Engineering Sciences at the University of Colorado BoulderEmail confirmado em colorado.edu
Guy AvniSenior Lecturer, University of HaifaEmail confirmado em cs.haifa.ac.il
Guillermo A. PérezAssociate Professor, University of AntwerpEmail confirmado em uantwerp.be
Edon KelmendiQueen Mary University of LondonEmail confirmado em qmul.ac.uk
Denis KuperbergCNRS, ENS Lyon, Plume TeamEmail confirmado em ens-lyon.fr
Reshef MeirAssociate Prof., Technion-Israel Inst. of TechnologyEmail confirmado em ie.technion.ac.il
Lydia E. KavrakiRice UniversityEmail confirmado em rice.edu
Dror FriedThe Open University of IsraelEmail confirmado em openu.ac.il
Moshe Y. VardiRice UniversityEmail confirmado em cs.rice.edu
Michaël CadilhacDePaul UniversityEmail confirmado em cadilhac.name
Jeffrey S. RosenscheinProfessor of Computer Science, The Hebrew University of JerusalemEmail confirmado em cs.huji.ac.il
Giuseppe PerelliAssociate Professor at Sapienza University of RomeEmail confirmado em di.uniroma1.it
Toghrul KarimovMax Planck Institute for Software SystemsEmail confirmado em mpi-sws.org
Filip MazowieckiUniversity of WarsawEmail confirmado em mimuw.edu.pl
Patrick TotzkeUniversity of LiverpoolEmail confirmado em liverpool.ac.uk

Seguir

Shaull Almagor

Assistant Professor, Technion

Email confirmado em cs.technion.ac.il - Página inicial

Formal verification Automata Logic Synthesis Linear Dynamical Systems


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	87	2015
Discounting in LTL S Almagor, U Boker, O Kupferman Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014	76	2014
Formally reasoning about quality S Almagor, U Boker, O Kupferman Journal of the ACM (JACM) 63 (3), 1-56, 2016	64	2016
Formalizing and reasoning about quality S Almagor, U Boker, O Kupferman International Colloquium on Automata, Languages, and Programming, 15-27, 2013	41	2013
Strategyproof classification R Meir, JS Rosenschein ACM SIGecom Exchanges 10 (3), 21-25, 2011	38	2011
Explainable multi agent path finding S Almagor, M Lahijanian AAMAS, 2020	35	2020
Repairing multi-player games S Almagor, G Avni, O Kupferman 26th International Conference on Concurrency Theory (CONCUR 2015), 2015	32	2015
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	29	2022
Synthesis of controllable nash equilibria in games with quantitative objectives S Almagor, O Kupferman, G Perelli International Joint Conference on Artificial Intelligence, 2018	25	2018
Formalizing and reasoning about quality S Almagor, U Boker, O Kupferman Journal of the ACM 63 (3), 24, 2016	25	2016
Good-enough synthesis S Almagor, O Kupferman International Conference on Computer Aided Verification, 541-563, 2020	24	2020
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	23	2021
Max and sum semantics for alternating weighted automata S Almagor, O Kupferman International Symposium on Automated Technology for Verification and …, 2011	21	2011
O-minimal invariants for linear loops S Almagor, D Chistikov, J Ouaknine, J Worrell 45th International Colloquium on Automata, Languages, and Programming (ICALP …, 2018	19	2018
Minimizing expected cost under hard boolean constraints, with applications to quantitative synthesis S Almagor, O Kupferman, Y Velner arXiv preprint arXiv:1604.07064, 2016	17	2016
Promptness in ω-Regular Automata S Almagor, Y Hirshfeld, O Kupferman Automated Technology for Verification and Analysis: 8th International …, 2010	17	2010
Quantitative assume guarantee synthesis S Almagor, O Kupferman, JO Ringert, Y Velner International Conference on Computer Aided Verification, 353-374, 2017	15	2017
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	14	2022
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	14	2021

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores