Hierarchical Hybrid Modeling of Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Reasoning about Robot Actions: A Model Checking Approach
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
A Paradigm for Dynamic Coordination of Multiple Robots
Autonomous Robots
Visually Guided Cooperative Robot Actions Based on Information Quality
Autonomous Robots
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Hi-index | 0.00 |