Abstract: Modern education aims at providing students with more personalized learning services and more engaging learning experiences. One promising approach is to develop educational agents to ...
Abstract: Our hands-on course introduces model checking using Temporal Logic of Actions through practical examples like the control logic for a microwave oven. Due to highly positive initial feedback ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback