BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Germany
1 × USA
2 × Italy
Collaborated with:
S.Koenig H.L.S.Younes G.Hsu B.Yang R.E.Bryant D.R.O'Hallaron
Talks about:
probabilist (2) robot (2) model (2) learn (2) constraint (1) footbal (1) distanc (1) discret (1) system (1) symbol (1)

Person: Reid G. Simmons

DBLP DBLP: Simmons:Reid_G=

Contributed to:

CAV 20022002
CAV 19991999
ICML 19961996
KR 19941994
ML 19911991

Wrote 5 papers:

CAV-2002-YounesS #probability #using #verification
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling (HLSY, RGS), pp. 223–235.
CAV-1999-YangSBO #constraints #model checking #modelling #optimisation
Optimizing Symbolic Model Checking for Constraint-Rich Models (BY, RGS, REB, DRO), pp. 328–340.
ICML-1996-KoenigS #distance #learning #navigation
Passive Distance Learning for Robot Navigation (SK, RGS), pp. 266–274.
KR-1994-KoenigS #graph #probability
Risk-Sensitive Planning with Probabilistic Decision Graphs (SK, RGS), pp. 363–373.
ML-1991-HsuS #evaluation #learning
Learning Football Evaluation for a Walking Robot (GTH, RGS), pp. 303–307.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.