Travelled to:2 × USA
Collaborated with:U.A.Buy T.J.Perkins A.G.Barto
Talks about:subproblem (1) techniqu (1) resourc (1) control (1) select (1) machin (1) lattic (1) analyz (1) proof (1) learn (1)
Person: Robert Moll
DBLP: Moll:Robert
Contributed to:
2000
1990Wrote 2 papers:
- ICML-2000-MollPB #machine learning #problem
- Machine Learning for Subproblem Selection (RM, TJP, AGB), pp. 615–622.
- CAV-1990-BuyM #liveness #proving
- A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers (UAB, RM), pp. 292–301.