Login / Signup
Toward Scalable Verification for Safety-Critical Deep Networks.
Lindsey Kuper
Guy Katz
Justin Gottschlich
Kyle Julian
Clark W. Barrett
Mykel J. Kochenderfer
Published in:
CoRR (2018)
Keyphrases
</>
safety critical
formal methods
safety analysis
fault tolerant
nuclear power plant
model checking
embedded systems
agent architecture
support systems
regulatory requirements
control system
formal specification
adaptive systems
knowledge base
software engineering