Probabilistic Programming Languages for Modeling Autonomous Systems.
Seyed Mahdi ShamsiGian Pietro FarinaMarco GaboardiNils NappPublished in: MFI (2020)
Keyphrases
- programming language
- autonomous systems
- general purpose
- object oriented
- high level
- strongly typed
- uncertain environments
- database languages
- software engineering
- lambda calculus
- denotational semantics
- logic programming
- specification language
- programming environment
- programming language constructs
- object oriented concepts
- autonomous navigation
- dynamic environments
- program code
- data abstraction
- object oriented programming
- concurrent programming
- database
- unmanned aerial vehicles