Search for dissertations about: "computation tree logic"
Found 2 swedish dissertations containing the words computation tree logic.
-
1. Safe Autonomy under Uncertainty: Computation, Control, and Application
Abstract : Safety is a primary requirement for many autonomous systems, such as automated vehicles and mobile robots. An open problem is how to assure safety, in the sense of avoiding unsafe subsets of the state space, for uncertain systems under complex tasks. READ MORE
-
2. Methods and Tool Support for Analyzing Architectural Models of Embedded Systems
Abstract : Embedded systems are ubiquitous in the modern world. They are microcomputers most often included incomplete devices consisting of software and hardware. Embedded systems range from small devices to large systems monitoring and controlling complex processes. READ MORE