Login / Signup
Richárd Szabó
Publication Activity (10 Years)
Years Active: 2006-2021
Publications (10 Years): 2
Top Topics
Cyber Physical Systems
Embedded Systems
Top Venues
CoRR
LADC
</>
Publications
</>
Richárd Szabó
,
András Vörös
Towards formally analyzed Cyber-Physical Systems.
CoRR
(2021)
Simon József Nagy
,
Richárd Szabó
,
Máté Levente Vajda
,
András Vörös
Demonstrator for dependable edge-based cyber-physical systems.
LADC
(2021)
Richárd Szabó
Combining metric and topological navigation of simulated robots.
Acta Cybern.
17 (2) (2006)