SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability.
Aïdin SumicAlessandro CimattiAndrea MicheliThierry VidalPublished in: CPAIOR (2) (2024)
Keyphrases
- disjunctive temporal
- temporal reasoning
- partial observability
- network analysis
- possibility theory
- network structure
- social networks
- keywords
- network design
- belief functions
- computer networks
- complex networks
- information retrieval
- incomplete information
- decision theory
- temporal information
- probability theory
- search space
- inherent uncertainty
- image retrieval