Automata-Based Computation of Temporal Equilibrium Models
From MaRDI portal
Publication:4909313
DOI10.1007/978-3-642-32211-2_5zbMATH Open1377.68060OpenAlexW68788396MaRDI QIDQ4909313FDOQ4909313
Publication date: 13 March 2013
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32211-2_5
Recommendations
- Finite automata-models for the investigation of dynamical systems
- Approximating Continuous Systems by Timed Automata
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games
- Automata with a time-variant structure and supply-demand theorems
- Finite automata equilibria with discounting
- scientific article; zbMATH DE number 1302875
- Dynamics of equivalence relations in automata networks
- Dynamical properties of timed automata
- scientific article; zbMATH DE number 29550
Automata and formal grammars in connection with logical questions (03D05) Logic programming (68N17) Temporal logic (03B44)
Cited In (6)
- Temporal equilibrium logic: a survey
- Stable Models for Temporal Theories
- Automata with a time-variant structure and supply-demand theorems
- Temporal ASP: from logical foundations to practical use with \texttt{telingo}
- Capturing equilibrium models in modal logic
- On the Expressiveness of Temporal Equilibrium Logic
Uses Software
This page was built for publication: Automata-Based Computation of Temporal Equilibrium Models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4909313)
