Timed Abstract Dialectical Frameworks: A Simple Translation-Based Approach
From MaRDI portal
Publication:5145802
DOI10.3233/FAIA200496zbMATH Open1464.68343OpenAlexW3136004333MaRDI QIDQ5145802FDOQ5145802
Authors: Ringo Baumann, Maximilian Heinrich
Publication date: 21 January 2021
Full work available at URL: https://ebooks.iospress.nl/volumearticle/55362
Recommendations
- A transformation-based synthesis of temporal specification
- Timed Temporal Logics for Abstracting Transient States
- Translating a continuous-time temporal logic into timed automata.
- A framework for knowledge-based temporal abstraction
- Temporal reasoning through automatic translation of tock-CSP into timed automata
- scientific article; zbMATH DE number 1487859
- Fully abstract models and refinements as tools to compare agents in timed coordination languages
- On timed models and full abstraction
Cited In (3)
This page was built for publication: Timed Abstract Dialectical Frameworks: A Simple Translation-Based Approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145802)