Shaull Almagor

Citata da

	Tutte	Dal 2019
Citazioni	885	573
Indice H	17	14
i10-index	26	21

140

105

20092010201120122013201420152016201720182019202020212022202320243 2 5 11 12 27 49 74 48 64 47 69 84 106 132 134

Accesso pubblico

Visualizza tutto

18 articoli

1 articolo

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

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

Segui

Shaull Almagor

Assistant Professor, Technion

Email verificata su cs.technion.ac.il - Home page

Formal verification Automata Logic Synthesis Linear Dynamical Systems


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
What’s decidable about weighted automata? S Almagor, U Boker, O Kupferman Automated Technology for Verification and Analysis: 9th International …, 2011	108*	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	63	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

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori