Travelled to:1 × Canada
2 × USA
Collaborated with:K.S.Namjoshi N.Piterman A.Pnueli S.Mannor I.Menache A.Hoze
Talks about:asynchron (1) synthesi (1) reinforc (1) behavior (1) abstract (1) cluster (1) system (1) specif (1) formal (1) effect (1)
Person: Uri Klein
DBLP: Klein:Uri
Contributed to:
2012
2011
2004Wrote 3 papers:
- VMCAI-2012-KleinPP #effectiveness #specification #synthesis
- Effective Synthesis of Asynchronous Systems from GR(1) Specifications (UK, NP, AP), pp. 283–298.
- CAV-2011-KleinN #automation #behaviour #formal method #rest #verification
- Formalization and Automated Verification of RESTful Behavior (UK, KSN), pp. 541–556.
- ICML-2004-MannorMHK #abstraction #clustering #learning
- Dynamic abstraction in reinforcement learning via clustering (SM, IM, AH, UK).