Login / Signup
Counterexample-Guided Inductive Repair of Reactive Contracts.
Soha Hussein
Sanjai Rayadurgam
Stephen McCamant
Vaibhav Sharma
Mats P. E. Heimdahl
Published 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