Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Affiliation:
1
0
1
The first framework for precise passive learning of Metric Interval Temporal Logic guarantees that a separating specification can always be synthesized, revolutionizing the verification of real-time systems.