Imprecise observations of mobile robots specified by a modal logic

MM de Weerdt; F de Boer; W van der Hoek; JJ Meyer

Imprecise observations of mobile robots specified by a modal logic

MM de Weerdt, F de Boer, W van der Hoek, JJ Meyer

Distributed Systems

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	ASCI '99: proceedings
Editors	M Boasson, JA Kaandorp, JFM Tonino, MG Vosselman
Place of Publication	Delft
Publisher	Advanced School for Computing and Imaging
Pages	184-190
Number of pages	7
ISBN (Print)	90-803086-4-1
Publication status	Published - 1999
Event	5th Annual Conference of the Advanced School for Computing and Imaging, Heijen - Delft Duration: 15 Jun 1999 → 17 Jun 1999

Publication series

Name
Publisher	Advanced School for Computing and Imaging

Conference

Conference	5th Annual Conference of the Advanced School for Computing and Imaging, Heijen
Period	15/06/99 → 17/06/99

Keywords

ZX Int.klas.verslagjaar < 2002

Cite this

@inproceedings{8649b85102bd47a884596a7ff5bfd1b3,

title = "Imprecise observations of mobile robots specified by a modal logic",

keywords = "ZX Int.klas.verslagjaar < 2002",

author = "{de Weerdt}, MM and {de Boer}, F and {van der Hoek}, W and JJ Meyer",

year = "1999",

language = "Undefined/Unknown",

isbn = "90-803086-4-1",

publisher = "Advanced School for Computing and Imaging",

pages = "184--190",

editor = "{M Boasson} and {JA Kaandorp} and {JFM Tonino} and {MG Vosselman}",

booktitle = "ASCI '99: proceedings",

note = "null ; Conference date: 15-06-1999 Through 17-06-1999",

}

Imprecise observations of mobile robots specified by a modal logic. / de Weerdt, MM; de Boer, F; van der Hoek, W; Meyer, JJ.

ASCI '99: proceedings. ed. / M Boasson; JA Kaandorp; JFM Tonino; MG Vosselman. Delft : Advanced School for Computing and Imaging, 1999. p. 184-190.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Imprecise observations of mobile robots specified by a modal logic

AU - de Weerdt, MM

AU - de Boer, F

AU - van der Hoek, W

AU - Meyer, JJ

PY - 1999

Y1 - 1999

KW - ZX Int.klas.verslagjaar < 2002

M3 - Conference contribution

SN - 90-803086-4-1

SP - 184

EP - 190

BT - ASCI '99: proceedings

A2 - M Boasson, null

A2 - JA Kaandorp, null

A2 - JFM Tonino, null

A2 - MG Vosselman, null

PB - Advanced School for Computing and Imaging

CY - Delft

Y2 - 15 June 1999 through 17 June 1999

ER -