Sciweavers

Share
621 search results - page 1 / 125
» formats 2008
Sort
View
FORMATS
2008
Springer
8 years 4 months ago
Compositional Abstraction in Real-Time Model Checking
Jasper Berendsen, Frits W. Vaandrager
CDC
2008
IEEE
8 years 9 months ago
Persistent formation control of multi-robot networks
— This paper presents a method for controlling formations of mobile robots. In particular, the problem of maintaining so-called “persistent formations” while moving the forma...
Brian Stephen Smith, Jiuguang Wang, Magnus Egerste...
FORMATS
2008
Springer
8 years 4 months ago
Timed Automata with Integer Resets: Language Inclusion and Expressiveness
P. Vijay Suman, Paritosh K. Pandya, Shankara Naray...
ICOM
2008
86views more  ICOM 2008»
8 years 2 months ago
Formatives Remote Usability Testing
Sandra Burger, Michael Burmester, Andreas Selter
books