Frank Wallner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1994–1999
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | FOSSACS | Model Checking Logics for Communicating Sequential Agents. | Michaela Huhn, Peter Niebert, Frank Wallner |
| 1998 | CAV | Model Checking LTL Using Net Unforldings. | Frank Wallner |
| 1998 | ICRA | Position Estimation Using Principal Components of Range Data. | James L. Crowley, Frank Wallner, Bernt Schiele |
| 1998 | TACAS | Verification Based on Local States. | Michaela Huhn, Peter Niebert, Frank Wallner |
| 1996 | IROS | Learning coordination skills in multi-agent systems. | Michael Kaiser, Rdiger Dillmann, Holger Friedrich, I-Shen Lin, Frank Wallner, Peter Weckesser |
| 1995 | ICRA | Real-Time Map Refinement by Fusing Sonar and Active Stero-Vision. | Frank Wallner, Ren Graf, Rdiger Dillmann |
| 1994 | IROS | A Multilevel Learning Approach to Mobile Robot Path Planning. | Frank Wallner, Michael Kaiser, Holger Friedrich, Rdiger Dillmann |
| 1994 | IROS | Integration of topological and geometrical planning in a learning mobile robot. | Frank Wallner, Michael Kaiser, Holger Friedrich, Rdiger Dillmann |