Travelled to:3 × USA
Collaborated with:G.J.Pappas V.Raman R.Ehlers S.A.Seshia N.Ayanian V.Kumar
Talks about:control (2) unsynthesiz (1) subsystem (1) synthesi (1) identifi (1) challeng (1) behavior (1) synthes (1) automat (1) specif (1)
Person: Hadas Kress-Gazit
DBLP: Kress-Gazit:Hadas
Contributed to:
2014
2011
2008Wrote 4 papers:
- VMCAI-2014-EhlersSK #identifier #synthesis
- Synthesis with Identifiers (RE, SAS, HKG), pp. 415–433.
- CAV-2011-RamanK #behaviour #specification #using
- Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP (VR, HKG), pp. 663–668.
- CASE-2008-Kress-GazitAPK
- Recycling controllers (HKG, NA, GJP, VK), pp. 772–777.
- CASE-2008-Kress-GazitP #automation #challenge
- Automatically synthesizing a planning and control subsystem for the DARPA urban challenge (HKG, GJP), pp. 766–771.