Counterexample Guided Inductive Repair of Reactive Contracts.
Soha HusseinVaibhav SharmaStephen McCamantSanjai RayadurgamMats Per Erik HeimdahlPublished in: ASE (2021)
Keyphrases
- model checking
- inductive learning
- machine learning
- supply chain
- concept learning
- deductive reasoning
- agent architecture
- inductive logic programming
- reactive systems
- formal verification
- inductive inference
- intelligent agents
- databases
- business processes
- knowledge acquisition
- scheduling problem
- evolutionary algorithm
- failure rate
- social welfare
- case study
- decision trees
- inductive reasoning
- moral hazard
- social networks
- functional programs