Login / Signup
Statistical Model Checking based Analysis of Fault Trees and Power Consumption to Enhance Autonomous Systems Reliability.
Ashkan Samadi
Marwan Ammar
Otmane Aït Mohamed
Published in:
NEWCAS (2023)
Keyphrases
</>
power consumption
model checking
autonomous systems
temporal logic
low power
formal verification
temporal properties
transition systems
control system
hidden markov models
object oriented
formal methods
bounded model checking