Revisiting Compatibility of Input-Output Modal Transition Systems.
Ivo KrkaNicolás D'IppolitoNenad MedvidovicSebastián UchitelPublished in: FM (2014)
Keyphrases
- input output
- transition systems
- model checking
- concurrent systems
- temporal logic
- finite state
- control flow
- practical reasoning
- internal states
- fuzzy neural network
- model checker
- state transition
- reactive systems
- formal specification
- real time
- modal logic
- linear programming
- speech acts
- distributed systems
- reinforcement learning
- knowledge base