Counterexample-Guided Inductive Repair of Reactive Contracts.
Soha HusseinSanjai RayadurgamStephen McCamantVaibhav SharmaMats P. E. HeimdahlPublished in: FormaliSE@ICSE (2022)
Keyphrases
- inductive learning
- model checking
- machine learning
- formal verification
- inductive inference
- consistent query answering
- reinforcement learning
- adverse selection
- reactive planning
- knowledge acquisition
- concept learning
- inductive concept learning
- moral hazard
- damage assessment
- supply chain
- knowledge representation
- social networks