Introduces Linear Chain Logic (LCL) and approximate algorithms to model-check spatial and asymptotic properties of periodic MPS families via their induced completely positive maps.
MIT Press, 2008
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
years
2026 3verdicts
UNVERDICTED 3representative citing papers
A heterogeneous assume-guarantee contract framework is proposed for co-design of layered control, enforcing safety by invariance and achieving liveness by refinement, validated on a hybrid energy storage system.
ACP is a temporal admission control protocol that combines static risk scoring with anomaly accumulation and cooldowns to limit harmful agent behavior over time, reducing approvals from 100% to 0.4% in tested workloads.
citing papers explorer
-
Model Checking Matrix Product States against Linear Chain Logic
Introduces Linear Chain Logic (LCL) and approximate algorithms to model-check spatial and asymptotic properties of periodic MPS families via their induced completely positive maps.
-
Safety by Invariance, Liveness through Refinement: Heterogeneous Contract Framework for Co-Design of Layered Control
A heterogeneous assume-guarantee contract framework is proposed for co-design of layered control, enforcing safety by invariance and achieving liveness by refinement, validated on a hybrid energy storage system.
-
Agent Control Protocol: Admission Control for Agent Actions
ACP is a temporal admission control protocol that combines static risk scoring with anomaly accumulation and cooldowns to limit harmful agent behavior over time, reducing approvals from 100% to 0.4% in tested workloads.