Back to Results
First PageMeta Content
Tiny Encryption Algorithm / Partition / Valuation / Ground expression / Constructible universe / Ordinal number / Mathematics / Linear temporal logic / Temporal logic


Optimal Bounds in Parametric LTL Games Martin Zimmermann1 Institute of Informatics University of Warsaw Warsaw, Poland
Add to Reading List

Document Date: 2012-08-01 04:03:57

Open Document

File Size: 523,00 KB

Share Result on Facebook

Company

Interactive Computational Systems / /

Currency

pence / /

/

Facility

arena A0 / RWTH Aachen University / Parametric LTL Games Martin Zimmermann1 Institute of Informatics University / arena A×M / /

IndustryTerm

reactive systems / /

Organization

European Science Foundation / Parametric LTL Games Martin Zimmermann1 Institute / Informatics University of Warsaw Warsaw / RWTH Aachen University / /

Person

Martin Zimmermann / /

Position

author / player / N. Player / controller / otherwise Player / /

SocialTag