Search Results

Fibrational perspectives on determinization of finite-state automata

• Authors : Li, Thea

Subjects: Mathematics - Category Theory; Computer Science - Formal Languages and Automata Theory; Computer Science - Logic in Computer Science

Record details

Measuring Robustness in Cyber-Physical Systems under Sensor Attacks

• Authors : Xiang, Jian; Lanotte, Ruggero; Tini, Simone

Subjects: Electrical Engineering and Systems Science - Systems and Control; Computer Science - Cryptography and Security; Computer Science - Emerging Technologies

Record details

Coalgebraic Infinite Traces and Kleisli Simulations

• Authors : Urabe, Natsuki; Hasuo, Ichiro

Subjects: Computer Science - Logic in Computer Science

• Source: Logical Methods in Computer Science, Volume 14, Issue 3 (September 5, 2018) lmcs:4731

Record details

Measuring robustness in cyber-physical systems under sensor attacks

• Authors : Xiang J.; Lanotte R.; Tini S.

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Computer Science - Cryptography and Security

• Source: Nonlinear Analysis: Hybrid Systems. 56:101559

Record details