Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
28
views
2
references
Top references
cited by
8
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,838
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
The SLAM Toolkit
other
Author(s):
Thomas Ball
,
Sriram K. Rajamani
Publication date
(Online):
July 4 2001
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
IUCN Red List of Ecosystems
Most cited references
2
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Automatic predicate abstraction of C programs
Sriram Rajamani
,
Todd Millstein
,
Rupak Majumdar
…
(2001)
0
comments
Cited
47
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Virtual Storytelling Using Virtual Reality Technologies for Storytelling
Olivier Balet
,
Gérard Subsol
,
Patrice Torguet
(2001)
0
comments
Cited
7
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2001
Publication date (Online):
July 4 2001
Pages
: 260-264
DOI:
10.1007/3-540-44585-4_25
SO-VID:
509b8b5b-551e-4223-ba50-f38f3efe7160
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 260
The SLAM Toolkit
pp. 368
TReX: A Tool for Reachability Analysis of Complex Systems
Similar content
1,838
Sensor Fusion of Monocular Cameras and Laser Rangefinders for Line-Based Simultaneous Localization and Mapping (SLAM) Tasks in Autonomous Mobile Robots
Authors:
Xinzheng Zhang
,
Ahmad B. Rad
,
Yiu-Kwong Wong
Efficient Dense Frontier Detection for 2-D Graph SLAM Based on Occupancy Grid Submaps
Authors:
Juraj Oršulić
,
Damjan Miklić
,
Zdenko Kovačić
How Accurate Can UWB and Dead Reckoning Positioning Systems Be? Comparison to SLAM Using the RPLidar System
Authors:
Damian Grzechca
,
Adam Ziębiński
,
Krzysztof Paszek
…
See all similar
Cited by
25
Abstract Regular Model Checking
Authors:
Ahmed Bouajjani
,
Peter Habermehl
,
Tomas Vojnar
Better Termination Proving through Cooperation
Authors:
Marc Brockschmidt
,
Byron Cook
,
Carsten Fuhs
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Authors:
Koushik Sen
,
Mahesh Viswanathan
See all cited by