Repair and Generation of Formal Models Using Synthesis.

Joshua Schmidt Sebastian Krings Michael Leuschel

Published in: IFM (2018)

Keyphrases

formal models
formal model
rule based systems
process model
damage assessment
databases
program synthesis
social networks
artificial intelligence
real time
image sequences
search algorithm
pattern recognition
data analysis
business process
decision making
information systems
genetic algorithm