Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking. - Peter Gjøl Jensen; Jirí Srba; Nikolaj Jensen Ulrik; Simon Mejlby Virenfeldt (VMCAI, 2022)