Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

CLIMA
2004

favoriteEmaildiscussreport

101views Intelligent Agents» more CLIMA 2004»

A Logic for Knowledge, Correctness, and Real Time

13 years 5 months ago

A Logic for Knowledge, Correctness, and Real Time

Download www.doc.ic.ac.uk

We present TCTLKD, a logic for knowledge, correctness and real time. TCTLKD is interpreted on real time deontic interpreted systems, and extension to continuous time of deontic interpreted systems. We exemplify the use of TCTLKD by discussing a variant of the "railroad crossing system".

Bozena Wozna, Alessio Lomuscio

Real-time Traffic

CLIMA 2004 | CLIMA 2007 | Deontic Interpreted Systems | Railroad Crossing System | Real Time |

claim paper

Related Content

» Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in RealTime Mau...

» Formal modeling and analysis of wireless sensor network algorithms in RealTime Maude

» An Improved OnTheFly Tableau Construction for a RealTime Temporal Logic

» Bounded model checking for knowledge and real time

» The Logical Execution Time Paradigm

» Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time

» Compilation and Synthesis for RealTime Embedded Controllers

» Fault Recovery Based on Checkpointing for Hard RealTime Embedded Systems

» Exploring ModelBased Development for the Verification of RealTime Java Code

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2004
Where	CLIMA
Authors	Bozena Wozna, Alessio Lomuscio

Comments (0)