Personensuche
X
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
10
Impossible Made Possible: Encoding Intractable Specificatio..:
, In:
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
11
Developing an Open-Source, State-of-the-Art Symbolic Model-..:
, In:
?
Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems ,
12
MLTL Multi-type (MLTLM): A Logic for Reasoning About Signal..:
, In:
?
2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC) ,
14