Search Sciweavers | Sciweavers

3028 search results - page 78 / 606

» Integrating Temporal Logics

128

click to vote

FATES
2006
Springer

102views Software Engineering» more FATES 2006»

Robustness of Temporal Logic Specifications

15 years 7 months ago

Download www.public.asu.edu

Georgios E. Fainekos, George J. Pappas

claim paper

Read More »

102

click to vote

BANFF
1995

122views Distributed And Parallel Com...» more BANFF 1995»

Modal and Temporal Logics for Processes

15 years 7 months ago

Download homepages.inf.ed.ac.uk

Colin Stirling

claim paper

Read More »

122

click to vote

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

15 years 7 months ago

Download www.cse.dmu.ac.uk

Bruno Dutertre

claim paper

Read More »

103

Voted

AAAI
2008

125views Intelligent Agents» more AAAI 2008»

An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics

15 years 6 months ago

Download www.cert.fr

Austin Parker, Guillaume Infantes, V. S. Subrahman...

claim paper

Read More »

click to vote

ATAL
2008
Springer

188views Intelligent Agents» more ATAL 2008»

A temporal logic for Markov chains

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers