Modelling timed reactive systems from natural-language requirements.
Gustavo CarvalhoAna CavalcantiAugusto SampaioPublished in: Formal Aspects Comput. (2016)
Keyphrases
- reactive systems
- petri net
- natural language
- real time systems
- model checking
- temporal logic
- natural language processing
- knowledge representation
- written in natural language
- machine learning
- timed automata
- semantic analysis
- information flow
- information extraction
- artificial intelligence
- question answering
- control flow
- state machines
- social networks