Reachability in Concurrent Uninterpreted Programs.

Salvatore La Torre Parthasarathy Madhusudan

Published in: FSTTCS (2019)

Keyphrases

concurrent programs
state space
real world
machine learning
decision making
database
first order logic
provably correct
control structures
mutual exclusion
automatic programming
application programs
programming environment
computer programs
multi agent
social networks
databases
real time