Information Flow Guided Synthesis (Full Version).

Bernd Finkbeiner Niklas Metzger Yoram Moses

Published in: CoRR (2022)

Keyphrases

information flow
social networks
flow analysis
communication networks
information flows
information security
multi context systems
multi threaded
flow graph
information diffusion
supply chain
database management systems
decision support system
knowledge management
reactive systems
social media
case study