Similar Items: Improving Reachability in Vector Addition Systems through Pumpability
- Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
- ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
- Forbidden-Context & Ordered Grammar Systems
- Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems
- Automatic constraint satisfaction problem
- On Languages Describing Large Graph Classes