vix.ing · top · new · best · stats · spec

Aminof, Benjamin

  1. LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
    2024/11/14 by Benjamin Aminof, Aminof, Benjamin, Giuseppe De Giacomo +5 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques