Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems.
Marius BozgaLucas BueriRadu IosifPublished in: IJCAR (2022)
Keyphrases
- distributed systems
- decision problems
- formal theory
- influence diagrams
- fault tolerant
- computational complexity
- optimal policy
- utility function
- decision model
- multicriteria decision
- message passing
- distributed environment
- load balancing
- fault tolerance
- geographically distributed
- multiple criteria
- mobile agents
- modal logic
- decision processes
- np hard
- modal operators
- data replication
- distributed computing
- real time systems
- concurrent systems
- deadlock detection
- distributed database systems
- data model
- dynamic programming
- sufficient conditions
- logic programming
- bandit problems
- learning algorithm