 | 2009 |
|---|
| 8 |       | Séverine Sentilles,
Petr Stepan,
Jan Carlson,
Ivica Crnkovic:
Integration of Extra-Functional Properties in Component Models.
CBSE 2009: 173-190 |
| 2005 |
|---|
| 7 | | Petr Stepan,
Miroslav Kulich,
Libor Preucil:
Robust data fusion with occupancy grid.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 35(1): 106-115 (2005) |
| 2002 |
|---|
| 6 |  | Libor Preucil,
Petr Stepan,
Miroslav Kulich,
Roman Mázl:
Towards Environment Modeling by Autonomous Mobile Systems.
BASYS 2002: 509-516 |
| 2001 |
|---|
| 5 | | Tomas Hlavaty,
Libor Preucil,
Petr Stepan:
Case Study: Formal Specification and Verification of Railway Interlocking System.
EUROMICRO 2001: 258-263 |
| 1999 |
|---|
| 4 | | Miroslav Kulich,
Petr Stepan,
Libor Preucil:
Knowledge Acquisition for Mobile Robot Environment Mapping.
DEXA 1999: 123-134 |
| 1997 |
|---|
| 3 | | Petr Stepan,
Libor Preucil,
Lubos Kral:
Statistical Approach to Integration and Interpretation of Robot Sensor Data.
DEXA Workshop 1997: 742-747 |
| 2 | | Libor Preucil,
Petr Stepan:
Experiencing Modeling and Development of an Intelligent Autonomous Robot.
EUROCAST 1997: 324-337 |
| 1995 |
|---|
| 1 | | Libor Preucil,
Petr Stepan:
An Intelligent Self-Guided Vehicle for CIM Systems
DEXA 1995: 632-641 |
