ALPS: An Action Language for Policy Specification and Automated Safety Analysis.
Silvio RaniseRiccardo TraversoPublished in: STM (2014)
Keyphrases
- action language
- safety analysis
- description language
- reasoning about actions
- nuclear power plant
- safety critical
- answer set programming
- control system
- symbolic model checking
- action theories
- fault model
- machine learning
- object oriented
- artificial intelligence
- optimal control
- answer sets
- real time
- logic programming
- low cost