8 citations · 11 across the 5 of their papers we have counts for
1 paper · 1 filter
Kaustuv Chaudhuri, Joelle Despeyroux
Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly representable…