Similar Items: Detecting Unrealizability of Distributed Fault-tolerant Systems
- FTMPST: Fault-Tolerant Multiparty Session Types
- Adaptive Fault-Tolerant Containment Control of Multiagent Systems With Dynamic Event-Triggering Strategies
- Adaptive Fault-Tolerant Thrust Allocation for Underwater Vehicles With Resource Constraints
- Fault‐Tolerant Fuzzy Boundary Control for Nonlinear Distributed Parameter Systems Under Limited Measurements and Markovian Failures
- Block Permutation Routing on Ramanujan Hypergraphs for Fault-Tolerant Quantum Computing
- Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic