Abstract: The design of critical components in cyber-physical systems (CPS) demands rigorous guarantees of safety and correctness, particularly in safety-critical domains such as autonomous vehicles ...
Abstract: Finite automata are used to represent different states in the form of abstract models that make the transition from on state to another more understandable. Finite automata help to develop ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback