1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Adrien Pommellet, Daniel Stan, Simon Scatton
The CTL learning problem consists in finding for a given sample of positive and negative Kripke structures a distinguishing CTL formula that is verified by the former but not by th…