Similar Items: Higher-Dimensional Timed and Hybrid Automata
- Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation
- Hybrid Optimization for Secure and Timely Medical Logistics: A Case Study in Burkina Faso
- A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems
- Introduction to the Special Issue on Distributed Hybrid Systems
- PERCEPTIONS OF HIGHER EDUCATION INSTITUTIONS IMPACT ON DIFFERENT DIMENSIONS OF QUALITY OF LIFE AND RESIDENTS’ OVERALL LIFE SATISFACTION
- Towards autonomous production control: a reinforcement learning-based model for hybrid remanufacturing systems