Search Results

Refine Results
  1. Cover Image

    Positional Properties in Temporal Logic

    Published in ArXiv cs.FL Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    Decomposition of Automata recognizing Ideals

    Published in ArXiv cs.FL Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    Hamming distance between finite transducers

    Published in ArXiv cs.FL Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    Minimum Reachability Probabilities in Rectangular Automata with Random Clocks

    Published in ArXiv cs.FL Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    A Theory of Hanoi Omega-Automata and Games

    Published in ArXiv cs.FL Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs

    Published in ArXiv cs.FL Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    SemML 2.0: Synthesizing Controllers for LTL

    Published in ArXiv cs.FL Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    Improving Reachability in Vector Addition Systems through Pumpability

    Published in ArXiv cs.FL Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    "What is Different Between These Datasets?" A Framework for Explaining Data Distribution Shifts

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Benchmarking Testing in Automated Theorem Proving

    Published in ArXiv cs.FL Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    An algebraic characterisation of Eve-positional languages

    Published in ArXiv cs.FL Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    Visibly Pushdown Languages in Groups

    Published in ArXiv cs.FL Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    Promoting Simple Agents: Ensemble Methods for Event-Log Prediction

    Published in ArXiv cs.FL Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    Active Inference of Extended Finite State Machine Models with Registers and Guards

    Published in ArXiv cs.FL Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    Visualising CTL Witnesses and Counterexamples -- Extended Version

    Published in ArXiv cs.FL Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    Forbidden-Context & Ordered Grammar Systems

    Published in ArXiv cs.FL Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    On Languages Describing Large Graph Classes

    Published in ArXiv cs.FL Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    Automatic constraint satisfaction problem

    Published in ArXiv cs.FL Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    Energy-Aware Quantum-Enhanced Computing Continuum

    Published in ArXiv cs.ET Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    Assumption-lean and data-adaptive post-prediction inference

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: