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 attended the 38th International Modal Analysis Conference in February 2020 in Houston. At the conference, eight students presented 14 papers along with other papers and presentations by ...
Pete has close to 5 decades of experience in design and analysis using FEM and experimental techniques. His main area of research is structural dynamics specializing in the areas of modeling, testing, ...
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.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback