Search Results for author:
Found 2 papers, 0 papers with code
Logical Languages Accepted by Transformer Encoders with Hard Attention
We contribute to the study of formal languages that can be recognized by transformer encoders.
Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report)
In our framework, the number of agents or the amount of certain resources are parameterized (i. e. not known a priori), and the corresponding verification problem asks whether a given epistemic property is true regardless of the instantiation of the parameters.
Formal Languages and Automata Theory Logic in Computer Science Multiagent Systems
Cannot find the paper you are looking for? You can
Submit a new open access paper.
