Concepedia

Shaull Almagor

SA

10

Publications

252

Citations

10

H-Index

2011

Active since

Affiliations

Hebrew University of Jerusalem(Current)

Technion – Israel Institute of Technology

University of Colorado Boulder

Reichman University

University of Oxford

Shaull Almagor is an author at Hebrew University of Jerusalem specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringAutomated ReasoningArtificial IntelligenceBusinessPlanningRobotics

Publications per year

2011–2022

10

Publications

10

This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction

Morteza Lahijanian, Shaull Almagor, Dror Fried et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2015 · 53 citations · Full text

Artificial Intelligence, Engineering, Robot Planning +24

Formally Reasoning About Quality

Shaull Almagor, Udi Boker, Orna Kupferman · Journal of the ACM · 2016 · 50 citations

Engineering, Quality Metric, Verification +19

Conflict-Based Search for Multi-Robot Motion Planning with Kinodynamic Constraints

Justin Kottinger, Shaull Almagor, Morteza Lahijanian · 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · 2022 · 44 citations

Artificial Intelligence, Engineering, Field Robotics +20

Synthesis of Controllable Nash Equilibria in Quantitative Objective Game

Shaull Almagor, Orna Kupferman, Giuseppe Perelli · 2018 · 19 citations · Full text

Mathematical Programming, Engineering, Game Theory +16

Repairing Multi-Player Games

Shaull Almagor, Guy Avni, Orna Kupferman · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 18 citations · Full text

Software Maintenance, Engineering, Game Theory +20

Rows per page

1–5 of 10