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