Explore: Temporal Automata
Discover books, insights, and more — all in one place.
Learn more about Temporal Automata with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “temporal-automata”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Formal Modeling and Analysis of Timed Systems
By Uli Fahrenberg
“Formal Modeling and Analysis of Timed Systems” Metadata:
- Title: ➤ Formal Modeling and Analysis of Timed Systems
- Author: Uli Fahrenberg
- Language: English
- Number of Pages: Median: 368
- Publisher: ➤ Springer-Verlag GmbH Berlin Heidelberg - Springer
- Publish Date: 2011
- Publish Location: Berlin, Heidelberg
“Formal Modeling and Analysis of Timed Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Computer software - Machine theory - Formal methods (Computer science) - Computer simulation - Congresses - Temporal automata - Algorithm Analysis and Problem Complexity - Programming Techniques - Mathematical Logic and Formal Languages - Programming Languages, Compilers, Interpreters - Logics and Meanings of Programs
Edition Identifiers:
- The Open Library ID: OL25548063M - OL30573484M
- Library of Congress Control Number (LCCN): 2011936636
- All ISBNs: ➤ 9783642243097 - 3642243118 - 3642243096 - 9783642243103 - 364224310X - 9783642243110
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal Modeling and Analysis of Timed Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Formal modeling and analysis of timed systems
By Wang Yi
“Formal modeling and analysis of timed systems” Metadata:
- Title: ➤ Formal modeling and analysis of timed systems
- Author: Wang Yi
- Language: English
- Number of Pages: Median: 305
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2005 - 2006
“Formal modeling and analysis of timed systems” Subjects and Themes:
- Subjects: ➤ Machine theory - Automates temporels - Méthodes formelles (Informatique) - Temporal automata - Simulation par ordinateur - Robots - Congrès - Automates mathématiques, Théorie des - Computer simulation - Congresses - Formal methods (Computer science) - Theorie des Automates mathematiques - Temporale Logik - Echtzeitsystem - COMPUTERS - Congres - Zeitdiskretes System - Formale Sprache - Informatique - Formale Methode - Methodes formelles (Informatique) - Automata
Edition Identifiers:
- The Open Library ID: OL9733350M - OL37118278M
- Online Computer Library Center (OCLC) ID: 63107695 - 62513772
- Library of Congress Control Number (LCCN): 2005937088
- All ISBNs: 3540316167 - 9783540309468 - 9783540316169 - 3540309462
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal modeling and analysis of timed systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Formal modeling and analysis of timed systems
By Jean-Francois Raskin and P. S. Thiagarajan
“Formal modeling and analysis of timed systems” Metadata:
- Title: ➤ Formal modeling and analysis of timed systems
- Authors: Jean-Francois RaskinP. S. Thiagarajan
- Language: English
- Number of Pages: Median: 370
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2007
- Publish Location: Berlin
“Formal modeling and analysis of timed systems” Subjects and Themes:
- Subjects: ➤ Formal methods (Computer science) - Computer simulation - Congresses - Temporal automata - Automata - System design - Machine theory
Edition Identifiers:
- The Open Library ID: OL34452534M - OL16153257M
- Online Computer Library Center (OCLC) ID: 173602740
- Library of Congress Control Number (LCCN): 2007935932
- All ISBNs: 3540754539 - 3540754547 - 9783540754534 - 9783540754541
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formal modeling and analysis of timed systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Formal techniques, modelling and analysis of timed and fault-tolerant systems
By FORMATS 2004 (2004 Grenoble, France)
“Formal techniques, modelling and analysis of timed and fault-tolerant systems” Metadata:
- Title: ➤ Formal techniques, modelling and analysis of timed and fault-tolerant systems
- Author: ➤ FORMATS 2004 (2004 Grenoble, France)
- Language: English
- Number of Pages: Median: 404
- Publisher: Springer
- Publish Date: 2004
- Publish Location: New York - Berlin
“Formal techniques, modelling and analysis of timed and fault-tolerant systems” Subjects and Themes:
- Subjects: ➤ Computer simulation - Congresses - Fault-tolerant computing - Formal methods (Computer science) - Machine theory - Real-time data processing - Robots - Temporal automata - Computers - Computer science - Memory management (Computer science) - Software engineering - Logic design
Edition Identifiers:
- The Open Library ID: OL19291913M - OL3316163M
- Online Computer Library Center (OCLC) ID: 57348541 - 56616915
- Library of Congress Control Number (LCCN): 2004112582
- All ISBNs: 3540231676 - 9783540231677
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal techniques, modelling and analysis of timed and fault-tolerant systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Temporal automata
By Jean-François Lavignon
“Temporal automata” Metadata:
- Title: Temporal automata
- Author: Jean-François Lavignon
- Language: English
- Number of Pages: Median: 41
- Publisher: ➤ Dept. of Computer Science, Stanford University
- Publish Date: 1990
- Publish Location: Stanford, Calif
“Temporal automata” Subjects and Themes:
- Subjects: Temporal automata
Edition Identifiers:
- The Open Library ID: OL1632885M
- Library of Congress Control Number (LCCN): 91182731
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Temporal automata at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Formal Modeling and Analysis of Timed Systems
By Joël Ouaknine
“Formal Modeling and Analysis of Timed Systems” Metadata:
- Title: ➤ Formal Modeling and Analysis of Timed Systems
- Author: Joël Ouaknine
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Formal Modeling and Analysis of Timed Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Data processing - Computer science - Software engineering - Algebra - Information theory - Computer simulation - Congresses - Temporal automata - Formal methods (Computer science) - Machine theory - Hybrides System - Kongress - Echtzeitsystem - Formale Methode - Model Checking - Temporale Logik - Zeitbehafteter Automat - Zeitbewertetes Petri-Netz - Zeitdiskretes System - Robots
Edition Identifiers:
- The Open Library ID: OL25536219M
- Online Computer Library Center (OCLC) ID: 436030820
- Library of Congress Control Number (LCCN): 2009934015
- All ISBNs: 3642043682 - 9783642043680 - 9783642043673 - 3642043674
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal Modeling and Analysis of Timed Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Formal techniques, modelling and analysis of timed and fault-tolerant systems
“Formal techniques, modelling and analysis of timed and fault-tolerant systems” Metadata:
- Title: ➤ Formal techniques, modelling and analysis of timed and fault-tolerant systems
- Language: English
- Number of Pages: Median: 397
- Publisher: Springer
- Publish Date: 2004
“Formal techniques, modelling and analysis of timed and fault-tolerant systems” Subjects and Themes:
- Subjects: ➤ Machine theory - Computer simulation - Congresses - Temporal automata - Formal methods (Computer science) - Robots
Edition Identifiers:
- The Open Library ID: OL9055022M
- All ISBNs: 9783540231677 - 3540231676
First Setence:
"Digital voting technologies are currently very topical and hotly debated, especially in the US with a presidential election looming."
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal techniques, modelling and analysis of timed and fault-tolerant systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Logical tools for temporal knowledge representation
By Hélène Bestougeff
“Logical tools for temporal knowledge representation” Metadata:
- Title: ➤ Logical tools for temporal knowledge representation
- Author: Hélène Bestougeff
- Language: English
- Number of Pages: Median: 311
- Publisher: Ellis Horwood
- Publish Date: 1992
- Publish Location: New York
“Logical tools for temporal knowledge representation” Subjects and Themes:
- Subjects: ➤ Knowledge representation (Information theory) - Computational linguistics - Temporal automata
Edition Identifiers:
- The Open Library ID: OL17931594M
- Library of Congress Control Number (LCCN): 92033968
- All ISBNs: 013541699X - 9780135416990
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logical tools for temporal knowledge representation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Formal Modeling and Analysis of Timed Systems
By Marcin Jurdziński
“Formal Modeling and Analysis of Timed Systems” Metadata:
- Title: ➤ Formal Modeling and Analysis of Timed Systems
- Author: Marcin Jurdziński
- Language: English
- Publisher: ➤ Springer Berlin Heidelberg - Imprint: Springer
- Publish Date: 2012
- Publish Location: Berlin, Heidelberg
“Formal Modeling and Analysis of Timed Systems” Subjects and Themes:
- Subjects: ➤ Mathematical Logic and Formal Languages - Programming Techniques - Software engineering - Algorithm Analysis and Problem Complexity - Logic design - Logics and Meanings of Programs - Computer science - Programming Languages, Compilers, Interpreters - Computer software - Computer simulation - Congresses - Temporal automata - Formal methods (Computer science) - System analysis
Edition Identifiers:
- The Open Library ID: OL27039473M
- Library of Congress Control Number (LCCN): 2012946474
- All ISBNs: 3642333656 - 9783642333651
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal Modeling and Analysis of Timed Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Temporal Logic Vol. 2
By Dov. M. Gabbay, Mark A. Reynolds and Marcelo Finger
“Temporal Logic Vol. 2” Metadata:
- Title: Temporal Logic Vol. 2
- Authors: Dov. M. GabbayMark A. ReynoldsMarcelo Finger
- Language: English
- Number of Pages: Median: 612
- Publisher: Oxford University Press, USA
- Publish Date: 2000
“Temporal Logic Vol. 2” Subjects and Themes:
- Subjects: ➤ Logic, symbolic and mathematical - Computer logic - Machine theory - Temporal automata - Logique informatique - Automates
Edition Identifiers:
- The Open Library ID: OL7400710M
- Online Computer Library Center (OCLC) ID: 42913507
- All ISBNs: 9780198537687 - 0198537689
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Temporal Logic Vol. 2 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Practical Formal Methods Using Temporal Logic
By Michael Fisher and Michael Fisher
“Practical Formal Methods Using Temporal Logic” Metadata:
- Title: ➤ Practical Formal Methods Using Temporal Logic
- Authors: Michael FisherMichael Fisher
- Language: English
- Number of Pages: Median: 350
- Publisher: John Wiley & Sons Inc
- Publish Date: 2008
“Practical Formal Methods Using Temporal Logic” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL10278385M
- Online Computer Library Center (OCLC) ID: 810071430
- Library of Congress Control Number (LCCN): 2010046372
- All ISBNs: 9780470027882 - 0470027886
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Practical Formal Methods Using Temporal Logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Formal modeling and analysis of timed systems
“Formal modeling and analysis of timed systems” Metadata:
- Title: ➤ Formal modeling and analysis of timed systems
- Language: English
- Number of Pages: Median: 369
- Publisher: Springer
- Publish Date: 2006
“Formal modeling and analysis of timed systems” Subjects and Themes:
- Subjects: ➤ Automates temporels - Méthodes formelles (Informatique) - Temporal automata - Congrès - Automates mathématiques, Théorie des - Computer simulation - Congresses - Formal methods (Computer science) - Machine theory
Edition Identifiers:
- The Open Library ID: OL9058022M
- Online Computer Library Center (OCLC) ID: 71814282
- Library of Congress Control Number (LCCN): 2006932409
- All ISBNs: 9783540450269 - 3540450262
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal modeling and analysis of timed systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Formal modeling and analysis of timed systems
By FORMATS 2003 (2003 Marseille, France)
“Formal modeling and analysis of timed systems” Metadata:
- Title: ➤ Formal modeling and analysis of timed systems
- Author: ➤ FORMATS 2003 (2003 Marseille, France)
- Language: English
- Number of Pages: Median: 280
- Publisher: Springer
- Publish Date: 2004
- Publish Location: Berlin
“Formal modeling and analysis of timed systems” Subjects and Themes:
- Subjects: ➤ Automata - Computer simulation - Congresses - Formal methods (Computer science) - Temporal automata - Machine theory - Computer science - Robots
Edition Identifiers:
- The Open Library ID: OL3314037M
- Online Computer Library Center (OCLC) ID: 55018556
- Library of Congress Control Number (LCCN): 2004103614
- All ISBNs: 3540216715 - 9783540216711
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formal modeling and analysis of timed systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Formal modeling and analysis of timed systems
By FORMATS 2010 (2010 Klosterneuburg, Austria)
“Formal modeling and analysis of timed systems” Metadata:
- Title: ➤ Formal modeling and analysis of timed systems
- Author: ➤ FORMATS 2010 (2010 Klosterneuburg, Austria)
- Language: English
- Number of Pages: Median: 255
- Publisher: Springer
- Publish Date: 2010
- Publish Location: New York - Berlin
“Formal modeling and analysis of timed systems” Subjects and Themes:
- Subjects: ➤ Formal methods (Computer science) - Computer simulation - Congresses - Temporal automata
Edition Identifiers:
- The Open Library ID: OL25138068M
- Online Computer Library Center (OCLC) ID: 662409319
- Library of Congress Control Number (LCCN): 2010932429
- All ISBNs: 9783642152962 - 3642152961
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formal modeling and analysis of timed systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Formal modeling and analysis of timed systems
By FORMATS 2010 (2010 Klosterneuburg, Austria)
“Formal modeling and analysis of timed systems” Metadata:
- Title: ➤ Formal modeling and analysis of timed systems
- Author: ➤ FORMATS 2010 (2010 Klosterneuburg, Austria)
- Language: English
- Number of Pages: Median: 255
- Publisher: Springer
- Publish Date: 2010
- Publish Location: New York - Berlin
“Formal modeling and analysis of timed systems” Subjects and Themes:
- Subjects: ➤ Formal methods (Computer science) - Computer simulation - Congresses - Temporal automata - Logic design - Computer science - Software engineering - Computer software
Edition Identifiers:
- The Open Library ID: OL25138069M
- Online Computer Library Center (OCLC) ID: 662409319
- Library of Congress Control Number (LCCN): 2010932429
- All ISBNs: 9783642152962 - 3642152961
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formal modeling and analysis of timed systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science
By Claude Jard
“Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science” Metadata:
- Title: ➤ Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science
- Author: Claude Jard
- Number of Pages: Median: 294
- Publisher: Springer
- Publish Date: 2008
“Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science” Subjects and Themes:
- Subjects: ➤ Logic design - Information theory - Computer system performance - Computer science - Software engineering - Computer simulation - Congresses - Temporal automata - Formal methods (Computer science)
Edition Identifiers:
- The Open Library ID: OL26136790M
- Online Computer Library Center (OCLC) ID: 251303604
- All ISBNs: 354085777X - 9783540857778
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17The theory of timed I/O automata
By Dilsun K. Kaynar, Nancy Lynch, Roberto Segala and Frits Vaandrager
“The theory of timed I/O automata” Metadata:
- Title: ➤ The theory of timed I/O automata
- Authors: Dilsun K. KaynarNancy LynchRoberto SegalaFrits Vaandrager
- Language: English
- Number of Pages: Median: 125
- Publisher: Morgan & Claypool Publishers
- Publish Date: 2006
“The theory of timed I/O automata” Subjects and Themes:
- Subjects: Temporal automata
Edition Identifiers:
- The Open Library ID: OL8898862M
- All ISBNs: 159829010X - 9781598290103
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find The theory of timed I/O automata at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18The theory of timed I/O automata
By Dilsun K. Kaynar
“The theory of timed I/O automata” Metadata:
- Title: ➤ The theory of timed I/O automata
- Author: Dilsun K. Kaynar
- Language: English
- Number of Pages: Median: 138
- Publisher: Morgan & Claypool
- Publish Date: 2011
- Publish Location: ➤ San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA)
“The theory of timed I/O automata” Subjects and Themes:
- Subjects: Mathematical models - Temporal automata - Machine theory
Edition Identifiers:
- The Open Library ID: OL25544067M
- All ISBNs: 1608450031 - 9781608450022 - 1608450023 - 9781608450039
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find The theory of timed I/O automata at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Formal modeling and analysis of timed systems
“Formal modeling and analysis of timed systems” Metadata:
- Title: ➤ Formal modeling and analysis of timed systems
- Language: English
- Number of Pages: Median: 281
- Publisher: Springer
- Publish Date: 2004
“Formal modeling and analysis of timed systems” Subjects and Themes:
- Subjects: ➤ Formal methods (Computer science) - Computer simulation - Congresses - Temporal automata - Automata
Edition Identifiers:
- The Open Library ID: OL9054667M
- Library of Congress Control Number (LCCN): 2004103614
- All ISBNs: 9783540216711 - 3540216715
First Setence:
"Model checking is an approach commonly applied for automated verification of reachability properties."
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: Yes
- Is The Book Public: Yes
- Access Status: Public
Online Access
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Formal modeling and analysis of timed systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Wiki
Source: Wikipedia
Wikipedia Results
Search Results from Wikipedia
Linear temporal logic
games against an LTL winning condition is 2EXPTIME-complete. Automata-theoretic linear temporal logic model checking LTL formulas are commonly used to express
Linear temporal logic to Büchi automaton
checking needs to find a Büchi automaton (BA) equivalent to a given linear temporal logic (LTL) formula, i.e., such that the LTL formula and the BA recognize
Büchi automaton
invented them in 1962. Büchi automata are often used in model checking as an automata-theoretic version of a formula in linear temporal logic. Formally, a deterministic
Cellular automaton
automaton (pl. cellular automata, abbrev. CA) is a discrete model of computation studied in automata theory. Cellular automata are also called cellular
Temporal logic
formalism Kripke structure Automata theory Chomsky grammar State transition system Duration calculus (DC) Hybrid logic Modal logic Temporal logic in finite-state
Spatial–temporal reasoning
reasoning spatial-temporal knowledge in mind. The applied goal—on the computing side—involves developing high-level control systems of automata for navigating
Reactive synthesis
Reactive synthesis (or temporal synthesis) is the field of computer science that studies automatic generation of state machines (e.g. Moore machines) from
Computation tree logic
property. Computation tree logic belongs to a class of temporal logics that includes linear temporal logic (LTL). Although there are properties expressible
Automated planning and scheduling
time. Temporal planning is closely related to scheduling problems when uncertainty is involved and can also be understood in terms of timed automata. The
Model checking
software designs where the specification is given by a temporal logic formula. Pioneering work in temporal logic specification was done by Amir Pnueli, who