Modal data deals with the dynamic properties of a structure and can help in the design of almost any structure, facilitating to detect areas where design changes are required. Determining the ...
Dynamic logic offers a formal framework to reason about actions, transitions and the evolution of systems over time. It extends classical modal logic by incorporating operators that capture state ...
The SDASL Lab attended the 39th International Modal Analysis Conference at the beginning of February 2021. Of course, this presented a very different way in which SDASL participated in the conference.
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback