On Relaxing Metric Information in Linear Temporal Logic

Metadata only

Author

Date

2011

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Book title

Proceedings. Eighteenth International Symposium on Temporal Representation and Reasoning. TIME 2011

Pages / Article No.

72 - 79

Publisher

IEEE

Event

Eighteenth International Symposium on Temporal Representation and Reasoning (TIME 2011), Lübeck, Germany, September 12-14, 2011

Subject

Linear temporal logic; Quantitative time; Bounded variability; Satisfiability

Organisational unit

03594 - Meyer, Bertrand (emeritus)

More

ETH Bibliography

yes

Altmetrics

Research Collection