Linus Cooper

According to our database, Linus Cooper authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Probabilistic Synthesis and Verification for LTL on Finite Traces.

Benjamin Aminof, Linus Cooper, Sasha Rubin, Moshe Y. Vardi, Florian Zuleger

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024