C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis.
Sasinee Pruekprasert
Jérémy Dubut
Toru Takisaka
Clovis Eberhart
Ahmet Cetinkaya
Published in:
Autom. (2024)
Keyphrases
</>
safety analysis
safety critical
expert systems
control system
intelligent systems
artificial intelligence
distributed systems
learning systems
complex systems
symbolic model checking
fault model