X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (18838) 18838
Conference Proceeding (3099) 3099
Publication (1644) 1644
Book Chapter (556) 556
Book / eBook (212) 212
Newspaper Article (119) 119
Dissertation (108) 108
Magazine Article (86) 86
Government Document (30) 30
Book Review (26) 26
Standard (18) 18
Paper (7) 7
Reference (7) 7
Web Resource (5) 5
Trade Publication Article (3) 3
Electronic Resource (2) 2
Data Set (1) 1
Newsletter (1) 1
Technical Report (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
temporal logic (15407) 15407
mathematical models (2739) 2739
analysis (2511) 2511
algorithms (2235) 2235
engineering, electrical & electronic (1952) 1952
index medicus (1779) 1779
humans (1578) 1578
mathematical analysis (1533) 1533
computer science (1519) 1519
studies (1484) 1484
computer science, theory & methods (1128) 1128
dynamics (1096) 1096
computer simulation (1068) 1068
logic (1056) 1056
computer science, artificial intelligence (967) 967
research (949) 949
computer science, information systems (890) 890
semantics (890) 890
neurosciences (864) 864
environmental sciences (852) 852
model checking (832) 832
models (813) 813
male (808) 808
evolution (801) 801
usage (769) 769
female (766) 766
computer science, software engineering (760) 760
time (732) 732
artificial intelligence (729) 729
images (721) 721
networks (708) 708
optics (686) 686
correlation (658) 658
verification (637) 637
optimization (620) 620
adult (609) 609
model (587) 587
remote sensing (587) 587
spectra (561) 561
geosciences, multidisciplinary (557) 557
methods (557) 557
lasers (537) 537
animals (526) 526
simulation (516) 516
telecommunications (516) 516
water resources (480) 480
systems (472) 472
brain (471) 471
trends (471) 471
classification (470) 470
monitoring (467) 467
conferences (465) 465
management (456) 456
databases (455) 455
physics, applied (453) 453
time series (434) 434
meteorology & atmospheric sciences (424) 424
data mining (410) 410
linear temporal logic (406) 406
physics (400) 400
complexity (395) 395
mathematics, applied (394) 394
mathematics (393) 393
specifications (386) 386
magnetic resonance imaging (384) 384
software (384) 384
temporale logik (382) 382
dynamical systems (372) 372
ecology (368) 368
computation (365) 365
article (359) 359
time factors (357) 357
human (351) 351
channels (346) 346
automata (341) 341
recognition (339) 339
computer science, hardware & architecture (338) 338
noise (337) 337
representations (335) 335
stability (335) 335
statistics (335) 335
tasks (335) 335
coherence (333) 333
standards (331) 331
neural networks (329) 329
density (328) 328
china (324) 324
frames (321) 321
sensors (320) 320
construction (319) 319
precipitation (319) 319
memory (317) 317
philosophy (317) 317
psychology (313) 313
software engineering (313) 313
perception (312) 312
young adult (310) 310
engineering (309) 309
learning (309) 309
design engineering (308) 308
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Robarts - Stacks (61) 61
Gerstein Science - Stacks (52) 52
Engineering & Comp. Sci. - Stacks (17) 17
UTL at Downsview - May be requested (17) 17
Collection Dvlpm't (Acquisitions) - Vendor file (16) 16
Online Resources - Online (13) 13
St. Michael's College (John M. Kelly) - 3rd Floor (12) 12
Pontifical Inst. Mediaeval Studies - Library use only (10) 10
UofT at Mississauga - Stacks (9) 9
UofT at Scarborough - Stacks (8) 8
Collection Dvlpm't (Acquisitions) - Closed Orders (6) 6
St. Augustine's Seminary - Stacks (6) 6
Mathematical Sciences - Stacks (5) 5
Victoria University E.J. Pratt - Stacks (5) 5
Mathematical Sciences - Missing (4) 4
OISE - Stacks (4) 4
Regis College - Stacks (4) 4
Trinity College (John W Graham) - Stacks (4) 4
Indust. Rel's & Hum. Resources (Newman) - Library use only (3) 3
Trinity College (John W Graham) - Storage (3) 3
Gerstein Science - Circulation Desk (2) 2
Knox College (Caven) - Stacks (2) 2
Physics - Circulation Desk (2) 2
Physics - Stacks (2) 2
St. Michael's College (John M. Kelly) - 2nd Floor (2) 2
UofT at Scarborough - Circulation Desk (2) 2
Victoria University E.J. Pratt - Circulation Desk (2) 2
Victoria University Emmanuel College - Stacks (2) 2
Dentistry (Harry R Abbott) - Stacks (1) 1
Earth Sciences (Noranda) - Stacks (1) 1
Holland Bloorview Kids Rehabilitation - Stacks (1) 1
Knox College (Caven) - Storage (1) 1
Lakeridge Health Sciences - Oshawa (1) 1
Map & Data - Missing (1) 1
Mathematical Sciences - Reference (1) 1
OISE - Theses (1) 1
Pontifical Inst. Mediaeval Studies - Reference (1) 1
Providence Healthcare - Stacks (1) 1
Robarts - Moving to offsite: no requests (1) 1
St. Michael's College (John M. Kelly) - 1st Floor (1) 1
St. Michael's College (John M. Kelly) - Rare Book (1) 1
Victoria University CRRS - Library use only (1) 1
West Park Healthcare Centre - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (20255) 20255
Chinese (1058) 1058
Japanese (123) 123
Spanish (79) 79
French (44) 44
German (31) 31
Portuguese (22) 22
Italian (10) 10
Korean (6) 6
Dutch (4) 4
Turkish (4) 4
Latin (3) 3
Lithuanian (3) 3
Polish (3) 3
Russian (3) 3
Croatian (2) 2
Bulgarian (1) 1
Catalan (1) 1
Danish (1) 1
Estonian (1) 1
Greek (1) 1
Hebrew (1) 1
Hungarian (1) 1
Slovak (1) 1
Slovenian (1) 1
Swedish (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


IEEE Transactions on Automatic Control, ISSN 0018-9286, 11/2012, Volume 57, Issue 11, pp. 2817 - 2830
Journal Article
Journal of the ACM (JACM), ISSN 0004-5411, 09/2002, Volume 49, Issue 5, pp. 672 - 713
Journal Article
2011, ISBN 1848212526, cm.
Starting with an updated description of Allen's calculus, the book proceeds with a description of the main qualitative calculi which have been developed over... 
Spatial analysis (Statistics) | Space and time | Logic, Symbolic and mathematical | Qualitative reasoning | Mathematical models
Book
Theoretical Computer Science, ISSN 0304-3975, 11/2018, Volume 747, pp. 100 - 117
We introduce Visibly Linear Dynamic Logic (VLDL ), which extends Linear Temporal Logic (LTL) by temporal operators that are guarded by visibly pushdown... 
Model checking | Visibly pushdown languages | Temporal logic | Satisfiability | Infinite games | AUTOMATA | COMPUTER SCIENCE, THEORY & METHODS | Analysis | Robots | Algorithms
Journal Article
Automatica, ISSN 0005-1098, 2009, Volume 45, Issue 2, pp. 343 - 352
In this paper, we address the temporal logic motion planning problem for mobile robots that are modeled by second order dynamics. Temporal logic specifications... 
Motion planning | Hybrid systems | Robustness | Temporal logic | Hierarchical control | DISCRETE | SYSTEMS | AUTOMATION & CONTROL SYSTEMS | ENGINEERING, ELECTRICAL & ELECTRONIC | Robotics industry | Analysis | Robots
Journal Article
Theoretical Computer Science, ISSN 0304-3975, 08/2017, Volume 691, pp. 27 - 54
This paper introduces time window temporal logic (TWTL), a rich expressive language for describing various time bounded specifications. In particular, the... 
Temporal relaxation | Verification | Controller synthesis | Unambiguous languages | Timed temporal logic | Finite state automata | AUTOMATA | ALGORITHMS | SPECIFICATIONS | CONSTRUCTION | CONSTRAINTS | COMPUTER SCIENCE, THEORY & METHODS | TRANSITION COMPLEXITY | Case studies | Computer science | Algorithms | Artificial intelligence | Robots
Journal Article
Journal of Logic and Computation, ISSN 0955-792X, 09/2017, Volume 27, Issue 7, pp. 2271 - 2301
The relationship among first-order monadic omega-logic (MOL), propositional (until-free) linear-time temporal logic (LTL), propositional generalized... 
infinitary Logic | generalized definitional reflection logic | embedding theorem | cut-elimination theorem | First-order monadic omega-logic | linear-time temporal logic | THEOREMS | COMPUTER SCIENCE, THEORY & METHODS | infinitary logic | LOGIC
Journal Article
Fuzzy Sets and Systems, ISSN 0165-0114, 05/2019, Volume 363, pp. 84 - 112
In this paper we present FTCLogic, a formal first-order logic that can manage fuzzy temporal constraints between variables efficiently. In this logic, the use... 
Possibility theory | Temporal reasoning | Approximate reasoning | Fuzzy inference systems | Fuzzy relations | Fuzzy constraint satisfaction | Non-classical logics | SYSTEM | MATHEMATICS, APPLIED | REPRESENTATION | STATISTICS & PROBABILITY | COMPUTER SCIENCE, THEORY & METHODS
Journal Article
Synthese, ISSN 0039-7857, 7/2012, Volume 187, Issue 2, pp. 623 - 660
Journal Article
Information and Computation, ISSN 0890-5401, 04/2017, Volume 253, pp. 237 - 256
We introduce Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by adding temporal operators equipped with parameters that bound... 
Parametric Linear Temporal Logic | Model checking | Linear Temporal Logic | Linear Dynamic Logic | Realizability | MATHEMATICS, APPLIED | BOUNDS | LTL | COMPLEXITY | TEMPORAL LOGIC | COMPUTER SCIENCE, THEORY & METHODS | BUCHI AUTOMATA | Algorithms | Analysis | Low density lipoproteins | Robots
Journal Article
IEEE Transactions on Robotics, ISSN 1552-3098, 12/2009, Volume 25, Issue 6, pp. 1370 - 1381
Journal Article
Philosophy Compass, ISSN 1747-9991, 06/2015, Volume 10, Issue 6, pp. 406 - 419
This article surveys some of the key issues that arise when one tries to use tense logic as a metaphysical theory of the nature of time. Topics discussed... 
PHILOSOPHY | TIME | CONTINUUM | Metaphysics | Temporal logic | Philosophy
Journal Article
Journal of Automated Reasoning, ISSN 0168-7433, 2/2018, Volume 60, Issue 2, pp. 177 - 220
Journal Article
IEEE Transactions on Control Systems Technology, ISSN 1063-6536, 12/2019, pp. 1 - 8
This brief presents the implementation and experimental results of two frameworks for multi-agent systems under temporal logic tasks, which we have recently... 
decentralized robotic networks | formal methods-based control synthesis | linear temporal logic (LTL) | Autonomous mobile robots | signal temporal logic (STL)
Journal Article
Information and Computation, ISSN 0890-5401, 12/2014, Volume 239, pp. 303 - 339
In this paper we present refinement modal logic. A refinement is like a bisimulation, except that from the three relational requirements only ‘atoms’ and... 
MU-CALCULUS | BISIMULATION QUANTIFIERS | MATHEMATICS, APPLIED | COMPUTER SCIENCE, THEORY & METHODS | TIME TEMPORAL LOGIC | Computer science | Analysis | Logic in Computer Science | Computer Science
Journal Article
IEEE Transactions on Automatic Control, ISSN 0018-9286, 02/2008, Volume 53, Issue 1, pp. 287 - 297
Journal Article
Logic Journal of IGPL, ISSN 1367-0751, 2/2012, Volume 20, Issue 1, pp. 283 - 316
Organization concepts and models are increasingly being adopted for the design and specification of multi-agent systems. Agent organizations can be seen as... 
Modal logic | Temporal action logic | Multi-Agent Systems | Organizational theory | MATHEMATICS | temporal action logic | organizational theory | MATHEMATICS, APPLIED | LOGIC
Journal Article
Automatica, ISSN 0005-1098, 06/2015, Volume 56, pp. 78 - 85
This paper proposes an optimal control strategy for a discrete-time linear system constrained to satisfy a temporal logic specification over a set of linear... 
Discrete-time systems | Model predictive control | Formal methods | Linear temporal logic | AUTOMATION & CONTROL SYSTEMS | ENGINEERING, ELECTRICAL & ELECTRONIC
Journal Article
19.