A
Aralex
Aachen research explorer
Sign in
Menu
Papers
Authors
Topics
Journals
Patents
Institutions
Departments
Sign in
Papers
Authors
Topics
Journals
Patents
Organizations
Institutions
Departments
Papers matching “over-approximation”
1
Sort:
Relevance
Cited
Newest
Oldest
Fwci
Patents
⇩ CSV
Not finding it?
Sign in
to also search OpenAlex live.
Synthesis and analysis of neural-network-based control in cyber-physical systems
2026
RWTH Publications (RWTH Aachen)
dissertation
Computer Science
Formal Methods in Verification
Open access
László Antal
0
citations
1 result