Searching for authors named "Frank Wallner" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
Verification Based on Local States
- …Verification Based on Local States ? Michaela Huhn 1 and Peter Niebert 1 and Frank Wallner 2…
- Cited by 6 (1 self) – Add To MetaCart
-
A Advanced Telerobotic Control System for a Mobile Robot with Multisensor Feedback
- … Control System for a Mobile Robot with Multisensor Feedback I-Shen Lin, Frank Wallner, R udiger Dillmann…
- Cited by 6 (2 self) – Add To MetaCart
-
Put your Model Checker on Diet: Verification on Local States
- … 1 and Frank Wallner 2 1 Institut fur Informatik, Universitat Hildesheim, Postfach 101363, D-31113…
- Cited by 1 (1 self) – Add To MetaCart
-
Model Checking Logics for Communicating Sequential Agents
- … and Frank Wallner 3 1 Institut fur Rechnerentwurf und Fehlertoleranz (Prof. D. Schmid), Univ. Karlsruhe…
- Cited by 3 (0 self) – Add To MetaCart
-
Model Checking Gossip Modalities
- …Model Checking Gossip Modalities ? Michaela Huhn 1 and Peter Niebert 2 and Frank Wallner 3 1…
- Cited by 1 (1 self) – Add To MetaCart
-
References
- … Partial order reduction versus Net unfoldings\Lambda Stephan Melzer, Stefan R"omer Frank…
- Add To MetaCart
-
Position Estimation for a Mobile Robot From Principal Components of Laser Range Data
- …Position Estimation for a Mobile Robot From Principal Components of Laser Range Data Frank Wallner…
- Cited by 4 (1 self) – Add To MetaCart
-
Verification Based on Local States
- …Verification Based on Local States ? Michaela Huhn 1 and Peter Niebert 1 and Frank Wallner 2…
- Add To MetaCart
-
Model Checking Gossip Modalities
- …Model Checking Gossip Modalities ? Michaela Huhn 1 and Peter Niebert 2 and Frank Wallner 3 1…
- Add To MetaCart
-
Position Estimation Using Principal Components of Range Data
- …Position Estimation Using Principal Components of Range Data James L. Crowley, Frank Wallner…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
