Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier.

Eun-Young Kang Li Huang

Published in: CoRR (2018)

Keyphrases

dynamic environments
autonomous systems
formal specification
object oriented design
uncertain environments
path planning
formal methods
knowledge based systems
databases
building blocks
artificial intelligence
e learning
user interface