The ProCoS Approach to Correct Systems
Real-Time Systems - Special issue on safety-critical systems
Module-Based Reinforcement Learning: Experiments with a Real Robot
Machine Learning - Special issue on learning in autonomous robots
What Will Be Eventually True of Polynomial Hybrid Automata?
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Robust Control of Hybrid Systems: Performance Guided Strategies
Hybrid Systems V
Hybrid Systems with Finite Bisimulations
Hybrid Systems V
Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems
Hybrid Systems V
Hybrid Modeling of TCP Congestion Control
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Series of Abstractions for Hybrid Automata
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Switching and Feedback Laws for Control of Constrained Switched Nonlinear Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Assertion-Based Analysis of Hybrid Systems with PVS
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Amir Pnueli and the dawn of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Fast simulation of skeleton-driven deformable body characters
ACM Transactions on Graphics (TOG)
A CSP model for hybrid automata
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Brief Paper: On the Markov Property of Quantised State Measuirement Sequences
Automatica (Journal of IFAC)
Hi-index | 0.00 |