scientific article; zbMATH DE number 7453076

MaRDI QIDQ5020522FDOQ5020522

Corina Cîrstea

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/1909.07656

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Automata, logics, and infinite games. A guide to current research
• Title not available (Why is that?)
• Infinite Runs in Weighted Timed Automata with Energy Constraints
• Energy parity games
• Rudiments of \(\mu\)-calculus
• A Coalgebraic Approach to Linear-Time Logics
• Introduction to coalgebra. Towards mathematics of states and observation
• Parity and Streett Games with Costs
• From Branching to Linear Time, Coalgebraically
• Title not available (Why is that?)
• Parity Automata for Quantitative Linear Time Logics

Cited In (2)

• Linear-time logics -- a coalgebraic perspective
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020522)