- Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata P.J.G. Ramadge Tue 17 February 2026
- Quantum Circuit Verification - A Potential Roadmap (Invited Talk) Parosh Aziz Abdulla Yu-Fang Chen Michal Hečko Lukáš Holík Ondřej Lengál Jyun-Ao Lin Ramanathan Thinniyam Srinivasan Tue 17 February 2026
- News from Cosquer Cave: climatic studies, recording, sampling, dates Jean Courtin Jean Collina-Girard Jacques Arnold Maurice Valladas Hélène Clottes Sat 14 February 2026
- The Cosquer Cave on Cape Morgiou, Marseilles Jean Beltrán Antonio Courtin Jean Cosquer Henri Clottes Sat 14 February 2026
- La Grotte Cosquer (Cap Morgiou, Marseille) A. Beltrán J. Courtin J. Clottes H. Cosquer Sat 14 February 2026
- The Determinacy of Context-Free Games Olivier Finkel Thu 12 February 2026
- The First Known Problem That Is FPT with Respect to Node Scanwidth but Not Treewidth Jannik Schestag Norbert Zeh Thu 12 February 2026
- A Complete Equational Theory for Real-Clifford+CH Quantum Circuits Alexandre Clément Thu 12 February 2026
- A General Theory of Proportionality with Additive Utilities Piotr Skowron Thu 12 February 2026
- An Automata-Based Approach to Games with -Automatic Preferences Véronique Bruyère Emmanuel Filiot Christophe Grandmont Jean-François Raskin Thu 12 February 2026
- Computing the Reachability Value of Posterior-Deterministic POMDPs Nathanael Fijalkow Arka Ghosh Roman Kniazev Guillermo A. Pérez Pierre Vandenhove Thu 12 February 2026
- Manjushri: A Tool for Equivalence Checking of Quantum Circuits Xuan Du Trinh Meghana Sistla Nengkun Yu Thomas Reps Thu 12 February 2026
- A Theory for Probabilistic Polynomial-Time Reasoning Lijie Chen Jiatu Li Igor C. Oliveira Ryan Williams Thu 12 February 2026
- Automata on Graph Alphabets Hugo Bazille Uli Fahrenberg Thu 12 February 2026
- Eve-positional languages: putting order into Buchi automata Olivier Idir Thu 12 February 2026
- Zero dynamics and funnel control of general linear differential-algebraic systems Thomas Berger Wed 11 February 2026
- Benchmark problems for robust control design Bong Wie Dennis S. Bernstein Wed 11 February 2026
- Benchmark Problems for Computer-Aided Control System Design D.K. Frederick M. Rimer Wed 11 February 2026
- The inverted Pendulum: A fundamental Benchmark in Control Theory and Robotics Olfa Boubaker Wed 11 February 2026
- Subsequential functions: Characterizations, minimization, examples Christophe Reutenauer Wed 11 February 2026
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
