András Vörös | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Kristóf Marussy
2 publications
Simon József Nagy
1 publication
Bence Graics
1 publication
Richárd Szabó
1 publication

research

∙ 08/29/2021

Towards formally analyzed Cyber-Physical Systems

Cyber-physical systems (CPS) can be found everywhere: smart homes, auton...

0 Richárd Szabó, et al. ∙

research

∙ 04/28/2020

Simulation-based Safety Assessment of High-level Reliability Models

Systems engineering approaches use high-level models to capture the arch...

0 Simon József Nagy, et al. ∙