Synthesis for Temporal Logic over the Reals

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

Original language	English
Title of host publication	Advances in Modal Logic
Place of Publication	UK
Publisher	College Publications
Pages	217-238
Volume	9
ISBN (Print)	9781848900684
Publication status	Published - 2012
Event	Advances in Modal Logic 2012 - Copenhagen, Denmark Duration: 22 Aug 2012 → 25 Aug 2012 Conference number: 2012

Cite this

@inproceedings{f956996e694b47d0a436f275cbd37440,

title = "Synthesis for Temporal Logic over the Reals",

author = "Tim French and John Mccabe-Dansted and Mark Reynolds",

year = "2012",

language = "English",

isbn = "9781848900684",

volume = "9",

pages = "217--238",

booktitle = "Advances in Modal Logic",

publisher = "College Publications",

note = "Advances in Modal Logic 2012, AiML ; Conference date: 22-08-2012 Through 25-08-2012",

}

TY - GEN

T1 - Synthesis for Temporal Logic over the Reals

AU - French, Tim

AU - Mccabe-Dansted, John

AU - Reynolds, Mark

N1 - Conference code: 2012

PY - 2012

Y1 - 2012

M3 - Conference paper

SN - 9781848900684

VL - 9

SP - 217

EP - 238

BT - Advances in Modal Logic

PB - College Publications

CY - UK

T2 - Advances in Modal Logic 2012

Y2 - 22 August 2012 through 25 August 2012

ER -