Similar Items: Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation
- A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems
- Higher-Dimensional Timed and Hybrid Automata
- Introduction to the Special Issue on Distributed Hybrid Systems
- Towards autonomous production control: a reinforcement learning-based model for hybrid remanufacturing systems
- A Federated Learning-based Hybrid compression Technique for 3D Medical Images
- The Shift to Online Teaching of Technical Subjects during the Pandemic