Regulation-as-a-Service: Model Checking for Decision-Making Behaviors in Price-Sensitive Service Systems.
Sixuan DangSheng CaoPublished in: SCC (2021)
Keyphrases
- service systems
- model checking
- decision making
- finite state machines
- temporal logic
- automated verification
- web technologies
- service level
- formal verification
- service oriented
- model checker
- temporal properties
- formal specification
- finite state
- queueing model
- call center
- enterprise systems
- formal methods
- decision makers
- symbolic model checking
- bounded model checking
- computation tree logic
- epistemic logic
- verification method
- supply chain
- heavy traffic
- steady state
- alternating time temporal logic
- web services