Abstract Diagnosis for Timed Concurrent Constraint programs
Marco CominiLaura TitoloAlicia VillanuevaPublished in: CoRR (2011)
Keyphrases
- concurrent programs
- fault diagnosis
- model based diagnosis
- case study
- petri net
- computer programs
- finite state machines
- genetic algorithm
- concurrent programming
- automatic diagnosis
- fixpoint
- low level
- reinforcement learning
- intermediate level
- constraint solving
- diagnostic reasoning
- concurrent execution
- database systems
- multiple faults
- high level
- neural network
- attention deficit hyperactivity disorder