research
∙
06/30/2023
Rigorous Function Calculi in Ariadne
Almost all problems in applied mathematics, including the analysis of dy...
share
research
∙
09/16/2021
Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification
This volume contains the proceedings of the 12th International Symposium...
research
∙
09/20/2020
Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification
This volume contains the proceedings of the 11th International Symposium...
research
∙
01/29/2020
Higher Order Method for Differential Inclusions
Uncertainty is unavoidable in modeling dynamical systems and it may be r...
research
∙
06/08/2010