Author:
Publication: Artificial Intelligence
Probability pooling for dependent agents in collective learning
SAT-based explicit LTLf satisfiability checking