A Theory of Assurance: Balancing Costly Formal Control with Tone at the Top.
Mark PennoPublished in: Manag. Sci. (2022)
Keyphrases
- control theory
- mathematical theory
- control strategy
- formal methods
- control system
- mathematical foundations
- formal models
- formal theory
- search engine
- robot control
- control method
- control problems
- real time
- control scheme
- formal languages
- general theory
- theoretical basis
- formal specification
- error prone
- data acquisition
- mathematical model
- expert systems
- bayesian networks
- genetic algorithm
- information retrieval
- databases