Travelled to:1 × Latvia
1 × Russia
2 × France
Collaborated with:O.Kupferman U.Boker G.Avni J.O.Ringert Y.Velner
Talks about:synthesi (3) qualiti (3) ltl (2) stochast (1) guarante (1) discount (1) quantit (1) presenc (1) generat (1) environ (1)
Person: Shaull Almagor
DBLP: Almagor:Shaull
Contributed to:
2014
2014
2013
2013
20162017Wrote 6 papers:
- FoSSaCS-2014-AlmagorK #synthesis
- Latticed-LTL Synthesis in the Presence of Noisy Inputs (SA, OK), pp. 226–241.
- TACAS-2014-AlmagorBK #ltl
- Discounting in LTL (SA, UB, OK), pp. 424–439.
- CAV-2013-AlmagorAK #automation #generative #quality #specification
- Automatic Generation of Quality Specifications (SA, GA, OK), pp. 479–494.
- ICALP-v2-2013-AlmagorBK #formal method #quality #reasoning
- Formalizing and Reasoning about Quality (SA, UB, OK), pp. 15–27.
- CSL-2016-AlmagorK #probability #synthesis
- High-Quality Synthesis Against Stochastic Environments (SA, OK), p. 17.
- CAV-2017-AlmagorKRV #synthesis
- Quantitative Assume Guarantee Synthesis (SA, OK, JOR, YV), pp. 353–374.