Results for ArXiv cs.FL Recent Papers Showing 1 - 32 results of 32 Laminas_Feed_Writer 2 (https://getlaminas.org) https://search.frelip.org/Search/Results?sort=last_indexed+desc&limit=50&lookfor=ArXiv+cs.FL+Recent+Papers&type=AllFields&lng=en 32 0 50 Primitive Two-Dimensional Words and Iterated Pedal Triangles via Symbolic Coding Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48649 https://search.frelip.org/Record/rss_article:48649 Online Article RSS Article 2026 0 Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48650 https://search.frelip.org/Record/rss_article:48650 Online Article RSS Article 2026 0 Subword enumeration up to stack-sorting equivalence Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48651 https://search.frelip.org/Record/rss_article:48651 Online Article RSS Article 2026 0 Positional Properties in Temporal Logic Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48652 https://search.frelip.org/Record/rss_article:48652 Online Article RSS Article 2026 0 Decomposition of Automata recognizing Ideals Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48653 https://search.frelip.org/Record/rss_article:48653 Online Article RSS Article 2026 0 Hamming distance between finite transducers Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48654 https://search.frelip.org/Record/rss_article:48654 Online Article RSS Article 2026 0 Minimum Reachability Probabilities in Rectangular Automata with Random Clocks Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48655 https://search.frelip.org/Record/rss_article:48655 Online Article RSS Article 2026 0 A Theory of Hanoi Omega-Automata and Games Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48656 https://search.frelip.org/Record/rss_article:48656 Online Article RSS Article 2026 0 Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48657 https://search.frelip.org/Record/rss_article:48657 Online Article RSS Article 2026 0 SemML 2.0: Synthesizing Controllers for LTL Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48658 https://search.frelip.org/Record/rss_article:48658 Online Article RSS Article 2026 0 Improving Reachability in Vector Addition Systems through Pumpability Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48659 https://search.frelip.org/Record/rss_article:48659 Online Article RSS Article 2026 0 Benchmarking Testing in Automated Theorem Proving Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48660 https://search.frelip.org/Record/rss_article:48660 Online Article RSS Article 2026 0 An algebraic characterisation of Eve-positional languages Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48661 https://search.frelip.org/Record/rss_article:48661 Online Article RSS Article 2026 0 Visibly Pushdown Languages in Groups Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48662 https://search.frelip.org/Record/rss_article:48662 Online Article RSS Article 2026 0 Promoting Simple Agents: Ensemble Methods for Event-Log Prediction Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48663 https://search.frelip.org/Record/rss_article:48663 Online Article RSS Article 2026 0 Active Inference of Extended Finite State Machine Models with Registers and Guards Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48664 https://search.frelip.org/Record/rss_article:48664 Online Article RSS Article 2026 0 Visualising CTL Witnesses and Counterexamples -- Extended Version Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48665 https://search.frelip.org/Record/rss_article:48665 Online Article RSS Article 2026 0 Forbidden-Context & Ordered Grammar Systems Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48666 https://search.frelip.org/Record/rss_article:48666 Online Article RSS Article 2026 0 On Languages Describing Large Graph Classes Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48667 https://search.frelip.org/Record/rss_article:48667 Online Article RSS Article 2026 0 Automatic constraint satisfaction problem Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:48668 https://search.frelip.org/Record/rss_article:48668 Online Article RSS Article 2026 0 The speed of convergence in greedy Galois games Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:49202 https://search.frelip.org/Record/rss_article:49202 Online Article RSS Article 2026 0 ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:49541 https://search.frelip.org/Record/rss_article:49541 Online Article RSS Article 2026 0 Hyper-Minimization for Deterministic Register Automata Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:49853 https://search.frelip.org/Record/rss_article:49853 Online Article RSS Article 2026 0 MinMax Recurrent Neural Cascades Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:50392 https://search.frelip.org/Record/rss_article:50392 Online Article RSS Article 2026 0 Temporal Causal Models as a Model of Computation Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:50393 https://search.frelip.org/Record/rss_article:50393 Online Article RSS Article 2026 0 Infinite-state Games with Energy Objectives Beyond Counters Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:50394 https://search.frelip.org/Record/rss_article:50394 Online Article RSS Article 2026 0 Resource-Constrained Robotic Planning in the face of Mixed Uncertainty Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:50395 https://search.frelip.org/Record/rss_article:50395 Online Article RSS Article 2026 0 Measure Many Quantum Finite Automata on Infinite Words Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:50654 https://search.frelip.org/Record/rss_article:50654 Online Article RSS Article 2026 0 SMT-Based Active Learning of Weighted Automata Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:50655 https://search.frelip.org/Record/rss_article:50655 Online Article RSS Article 2026 0 Learning Tree Automata with Term Rewriting Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:50656 https://search.frelip.org/Record/rss_article:50656 Online Article RSS Article 2026 0 Brik's sequence: a strange recursion Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:50657 https://search.frelip.org/Record/rss_article:50657 Online Article RSS Article 2026 0 Deciding DFA-Primality is NP-Hard Thu, 01 Jan 2026 20:47:35 -0500 https://search.frelip.org/Record/rss_article:50658 https://search.frelip.org/Record/rss_article:50658 Online Article RSS Article 2026 0