Metric Temporal Logic with Counting (Q2811351)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Metric Temporal Logic with Counting	scientific article

Statements

scholarly article

0 references

Metric Temporal Logic with Counting (English)

0 references

Shankara Narayanan Krishna

0 references

Khushraj Madnani

0 references

Paritosh K. Pandya

0 references

Lecture Notes in Computer Science

0 references

publication date

10 June 2016

0 references

full work available at URL

https://arxiv.org/abs/1512.09032

0 references

MaRDI profile type

MaRDI publication profile

0 references

An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic

0 references

An Expressive Temporal Logic for Real Time

0 references

0 references

On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}]$ Using Temporal Projections

0 references

Metric Temporal Logic with Counting

0 references

On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing

0 references

On the Expressiveness of MTL with Past Operators

0 references

Complexity of metric temporal logics with counting and the Pnueli modalities

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-662-49630-5_20

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2811351

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2811351&oldid=36255742"