Sökning: "logic synthesis"
Visar resultat 11 - 15 av 53 avhandlingar innehållade orden logic synthesis.
11. Individ och agentskap i strategiska processer : En syntetisk och handlingslogisk ansats
Sammanfattning : Even if strategy research often assumes that strategies are the result of intentional and purposeful behaviour the individual and human agency have tended to be neglected. Few empirical studies focus on how the individuals, their conceptions and actions interact with strategy formation. LÄS MER
12. Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance
Sammanfattning : Autonomous systems (a.k.a., agents) are often designed to move and execute tasks, without or with little human intervention. LÄS MER
13. Collage induction : proving properties of logic programs by program synthesis
Sammanfattning : The motivation behind this thesis is to formally prove programs correct. The contributions are twofold:Firstly, a new rule of mathematical induction called collage induction, is introduced, which treats mathematical induction as a natural generalization of the CUT-rule. LÄS MER
14. Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications
Sammanfattning : With the increase of robotic presence in our homes and work environment, it has become imperative to consider human-in-the-loop systems when designing robotic controllers. This includes both a physical presence of humans as well as interaction on a decision and control level. LÄS MER
15. Logic program synthesis using schema instantiation in an interactive environment
Sammanfattning : The research presented herein proposes a method of program synthesis based on a recursive program schema and performed with an explicit incremental plan as the core of the synthesis. A partial prototype has been built in order to be able to actually perform syntheses according to the method. LÄS MER