On the need for communication in distributed implementations of LTL motion specifications.
Marius KloetzerSanjiv ItaniSam BirchCalin BeltaPublished in: ICRA (2010)
Keyphrases
- communication overhead
- communication cost
- bounded model checking
- distributed systems
- computer networks
- cooperative
- spatially distributed
- motion analysis
- optical flow
- distributed control
- space time
- distributed computation
- fully distributed
- motion estimation
- human motion
- distributed network
- image sequences
- model checking
- motion model
- temporal logic
- transition systems
- global knowledge
- formal specification
- communication systems
- distributed environment
- motion detection
- motion segmentation
- high level
- motion field
- fault tolerant
- multi party
- open systems
- multimedia communication
- camera motion
- multi agent
- communication networks
- formal verification
- information dissemination
- peer to peer
- sensor networks