Synthesis of Communicating Processes from Temporal Logic Specifications
Logic of Programs, Workshop
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
The complexity of propositional linear temporal logics
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Structure of complexity in the weak monadic second-order theories of the natural numbers
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reasoning about networks with many identical finite-state processes
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
The complexity of reasoning about knowledge and time
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
Avoiding the state explosion problem in temporal logic model checking
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Reasoning about knowledge and time in asynchronous systems
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
On &ohgr;-automata and temporal logic
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the synthesis of a reactive module
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Nonclausal deduction in first-order temporal logic
Journal of the ACM (JACM)
State-based model checking of event-driven system requirements
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Model checking and abstraction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reasoning about systems with many processes
Journal of the ACM (JACM)
On the feasibility of checking temporal integrity constraints
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Journal of the ACM (JACM)
Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
The complexity of verification
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
The complexity of probabilistic verification
Journal of the ACM (JACM)
Verification of a production cell controller using symbolic timing diagrams
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
The benefits of relaxing punctuality
Journal of the ACM (JACM)
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Temporal deductive databases and infinite objects
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An automata-theoretic approach to modular model checking
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Computational Logic (TOCL)
Expressing interesting properties of programs in propositional temporal logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Model Checking of Safety Properties
Formal Methods in System Design
The complexity of propositional linear temporal logics in simple cases
Information and Computation
Implicates and reduction techniques for temporal logics
Annals of Mathematics and Artificial Intelligence
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
Applied Intelligence
Construction of an Automaton From a Formula of the Monadic First-Order Theory of Natural Numbers
Cybernetics and Systems Analysis
The Automata-Theoretic Approach to Verification of Reactive Systems
Cybernetics and Systems Analysis
A two-level temporal logic for evolving specifications
Information Processing Letters
Another Look at LTL Model Checking
Formal Methods in System Design
Detection of Weak Unstable Predicates in Distributed Programs
IEEE Transactions on Parallel and Distributed Systems
On-the-fly model checking from interval logic specifications
ACM SIGPLAN Notices
Expressiveness Issues and Decision Problems for Active Database Event Queries
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Supporting Lists in a Data Model (A Timely Approach)
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Effective Recognizability and Model Checking of Reactive Fiffo Automata
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Synthesis of Uninitialized Systems
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Implicates and Reduction Techniques for Temporal Logics
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Complexity of Multi-agent Systems Behavior
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter
ISAAC '02 Proceedings of the 13th International Symposium on Algorithms and Computation
Symbolic Model Checking without BDDs
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Model Checking: A Tutorial Overview
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Branching vs. Linear Time: Final Showdown
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Parametric Analysis of the State Explosion Problem in Model Checking
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Extended Temporal Logic Revisited
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Alphabet-Based Synchronisation is Exponentially Cheaper
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Vacuity Detection in Temporal Model Checking
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Model Checking CTL+ and FCTL is Hard
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
An Automata-Theoretic Approach to Constraint LTL
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
How to Make FDR Spin LTL Model Checking of CSP by Refinement
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
On-the-Fly Verification of Linear Temporal Logic
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Stutter-Invariant Languages, omega-Automata, and Temporal Logic
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Model Checking of Safety Properties
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Model Checking Abstract State Machines and Beyond
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Modal Logic and the Two-Variable Fragment
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Optimal Complexity Bounds for Positive LTL Games
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Modelling Change with the Aid of Knowledge and Time
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Model checking: a tutorial overview
Modeling and verification of parallel processes
First-order logic with two variables and unary temporal logic
Information and Computation - Special issue: LICS'97
Handbook of automated reasoning
Qualitative spatiotemporal representation and reasoning: a computational perspective
Exploring artificial intelligence in the new millennium
The complexity of achievement and maintenance problems in agent-based systems
Artificial Intelligence
Relating word and tree automata
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
An Until Hierarchy for Temporal Logic
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A Logic for Reasoning about Digital Rights
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
The complexity of the temporal logic with "until" over general linear time
Journal of Computer and System Sciences
Verification of relational transducers for electronic commerce
Journal of Computer and System Sciences - Special issue on PODS 2000
On feasible cases of checking multi-agent systems behavior
Theoretical Computer Science - Logic and complexity in computer science
Complexity of many-valued logics
Beyond two
Log Auditing through Model-Checking
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
Deterministic generators and games for Ltl fragments
ACM Transactions on Computational Logic (TOCL)
Vectorial languages and linear temporal logic
Theoretical Computer Science
ε-connections of abstract description systems
Artificial Intelligence
Decompositional Verification of Component-based Systems-A Hybrid Approach
Proceedings of the 19th IEEE international conference on Automated software engineering
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Implementing knowledge-based programs
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
The power of first-order quantification over states in branching and linear time temporal logics
Information Processing Letters
Distributed Computing
Difficult Configurations—On the Complexity of LTrL
Formal Methods in System Design
Rewriting-Based Techniques for Runtime Verification
Automated Software Engineering
Describing syntax with star-free regular expressions
EACL '03 Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics - Volume 1
Verification of qualitative constraints
CONCUR 2005 - Concurrency Theory
A framework for concrete reputation-systems with applications to history-based access control
Proceedings of the 12th ACM conference on Computer and communications security
The complexity of agent design problems: Determinism and history dependence
Annals of Mathematics and Artificial Intelligence
Tableau-based automata construction for dynamic linear time temporal logic*
Annals of Mathematics and Artificial Intelligence
Efficient timed model checking for discrete-time systems
Theoretical Computer Science
A parametric analysis of the state-explosion problem in model checking
Journal of Computer and System Sciences
Towards integrated verification of timed transition models
Fundamenta Informaticae - Special issue on application of concurrency to system design (ACSD'04)
BTL2 and the expressive power of ECTL+
Information and Computation
Temporal qualitative coalitional games
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
LTL Over integer periodicity constraints
Theoretical Computer Science
On the freeze quantifier in Constraint LTL: Decidability and complexity
Information and Computation
Quantitative temporal logics over the reals: PSpace and below
Information and Computation
An automata-theoretic approach to constraint LTL
Information and Computation
Complexity results on branching-time pushdown model checking
Theoretical Computer Science
Ensuring consistency in long running transactions
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Computation of minimal counterexamples by using black box techniques and symbolic methods
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
On First-Order Fragments for Mazurkiewicz Traces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
A logical framework for history-based access control and reputation systems
Journal of Computer Security
Open answer set programming with guarded programs
ACM Transactions on Computational Logic (TOCL)
Reasoning About Sequences of Memory States
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Model Checking Knowledge and Linear Time: PSPACE Cases
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Model Checking and Preprocessing
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
25 Years of Model Checking
25 Years of Model Checking
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Complexity and Succinctness Issues for Linear-Time Hybrid Logics
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Design intent coverage revisited
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Verification of qualitative Z constraints
Theoretical Computer Science
Journal of Logic, Language and Information
The Complexity of Satisfiability for Fragments of CTL and CTL*;
Electronic Notes in Theoretical Computer Science (ENTCS)
Checking Traces for Regulatory Conformance
Runtime Verification
Formal Methods in System Design
From Philosophical to Industrial Logics
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
Temporalization of Probabilistic Propositional Logic
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments
Electronic Notes in Theoretical Computer Science (ENTCS)
Matching Trace Patterns with Regular Policies
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
A Framework for Inherent Vacuity
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
Linear Functional Fixed-points
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
On Extending Bounded Proofs to Inductive Proofs
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Efficient model checking for LTL with partial order snapshots
Theoretical Computer Science
Combining spatial and temporal logics: expressiveness vs. complexity
Journal of Artificial Intelligence Research
The planning spectrum: one, two, three, infinity
Journal of Artificial Intelligence Research
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Complexity and succinctness issues for linear-time hybrid logics
Theoretical Computer Science
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
On the verification problem for weak memory models
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bounded Model Checking for All Regular Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Termination Criteria for Bounded Model Checking: Extensions and Comparison
Electronic Notes in Theoretical Computer Science (ENTCS)
Run-Time Checking of Dynamic Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Probabilistic Verification and Approximation
Electronic Notes in Theoretical Computer Science (ENTCS)
On the distributivity of LTL specifications
ACM Transactions on Computational Logic (TOCL)
Designing a LTL model-checker based on unfolding graphs
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Safety verification for two-way finite automata with monotonic counters
DLT'02 Proceedings of the 6th international conference on Developments in language theory
Oracle circuits for branching-time model checking
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
The complexity of generalized satisfiability for linear temporal logic
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Resets vs. aborts in linear temporal logic
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
On first-order fragments for words and Mazurkiewicz traces: a survey
DLT'07 Proceedings of the 11th international conference on Developments in language theory
Boolean abstraction for temporal logic satisfiability
CAV'07 Proceedings of the 19th international conference on Computer aided verification
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Branching vs. linear time: semantical perspective
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Completeness and decidability in sequence logic
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
The complexity of temporal logic with until and since over ordinals
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Model checking almost all paths can be less expensive than checking all paths
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
A Solver for Modal Fixpoint Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Some results on the expressive power and complexity of LSCs
Pillars of computer science
Pillars of computer science
Generalized modal satisfiability
Journal of Computer and System Sciences
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Connection based strategies for deciding propositional temporal logic
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Leveraging dominators for preprocessing QBF
Proceedings of the Conference on Design, Automation and Test in Europe
Rules admissible in transitive temporal logic TS4, sufficient condition
Theoretical Computer Science
The tractability of model checking for LTL: The good, the bad, and the ugly fragments
ACM Transactions on Computational Logic (TOCL)
Temporal logics over linear time domains are in PSPACE
RP'10 Proceedings of the 4th international conference on Reachability problems
Reasoning and inference rules in basic linear temporal logic BLTL
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part II
A CTL-based logic for program abstractions
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
InstQL: a query language for virtual institutions using answer set programming
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Extended computation tree logic
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
A proof system for temporal reasoning with sequential information
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
Synthesizing solutions to the leader election problem using model checking and genetic programming
HVC'09 Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing
Specifying and computing preferred plans
Artificial Intelligence
Querying contract databases based on temporal behavior
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Program synthesis in administration of higher-order permissions
Proceedings of the 16th ACM symposium on Access control models and technologies
Runtime Verification for LTL and TLTL
ACM Transactions on Software Engineering and Methodology (TOSEM)
A multi-encoding approach for LTL symbolic satisfiability checking
FM'11 Proceedings of the 17th international conference on Formal methods
Deciding robustness against total store ordering
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Some results on Parametric Temporal Logic
Information Processing Letters
Model checking recursive programs with numeric data types
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Weak Kripke structures and LTL
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Completeness of the bounded satisfiability problem for constraint LTL
RP'11 Proceedings of the 5th international conference on Reachability problems
Size-change termination and satisfiability for linear-time temporal logics
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Expressiveness of Hybrid Temporal Logic on Data Words
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of orchestration systems using compositional partial order reduction
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Combining temporal logics for querying XML documents
ICDT'07 Proceedings of the 11th international conference on Database Theory
Temporal logics over linear time domains are in PSPACE
Information and Computation
A proof system for the linear time μ-calculus
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
Generalized modal satisfiability
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Synthesis from temporal specifications using preferred answer set programming
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Regular linear temporal logic with past
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Simple is better: efficient bounded model checking for past LTL
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
On the expressiveness of TPTL and MTL
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Allen linear (interval) temporal logic – translation to LTL and monitor synthesis
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Complexity results on branching-time pushdown model checking
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Efficient monitoring of ω-languages
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Temporal logics over transitive states
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
An NP-Complete fragment of LTL
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Interrupt Timed Automata: verification and expressiveness
Formal Methods in System Design
Journal of Computer and System Sciences
On the construction of fine automata for safety properties
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Temporal constraints with multiple granularities in smart homes
Designing Smart Homes
The complexity of model checking concurrent programs against CTLK specifications
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
When model-checking freeze LTL over counter machines becomes decidable
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Algorithmic metatheorems for decidable LTL model checking over infinite systems
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Implementing temporal logics: tools for execution and proof
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Towards a notion of unsatisfiable and unrealizable cores for LTL
Science of Computer Programming
Labelled superposition for PLTL
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Effective characterizations of simple fragments of temporal logic using prophetic automata
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Enforceable security policies revisited
POST'12 Proceedings of the First international conference on Principles of Security and Trust
Survey: Linear Temporal Logic Symbolic Model Checking
Computer Science Review
Flexible Plan Verification: Feasibility Results
Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Specification and verification of multi-agent systems
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Automata-Based computation of temporal equilibrium models
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
On First-Order Fragments for Mazurkiewicz Traces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Towards Integrated Verification of Timed Transition Models
Fundamenta Informaticae - APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD'04)
Succinctness Gap between Monadic Logic and Duration Calculus
Fundamenta Informaticae
Verification of a technical system model with linear temporal logic
Automation and Remote Control
Linear time logics around PSL: complexity, expressiveness, and a little bit of succinctness
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Tightening the exchange rates between automata
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
A cut-free and invariant-free sequent calculus for PLTL
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
A policy language for distributed usage control
ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security
On the complexity of LTL model-checking of recursive state machines
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Model checking systems and specifications with parameterized atomic propositions
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
Temporal logic for process specification and recognition
Intelligent Service Robotics
Monitoring norm violations in multi-agent systems
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Enforceable Security Policies Revisited
ACM Transactions on Information and System Security (TISSEC)
Optimal bounds in parametric LTL games
Theoretical Computer Science
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
On the complexity of verifying regular properties on flat counter systems,
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)
Linear temporal logic and linear dynamic logic on finite traces
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Branching-time logics with path relativisation
Journal of Computer and System Sciences
Process fragmentation, distribution and execution using an event-based interaction scheme
Journal of Systems and Software
KBRE: a framework for knowledge-based requirements engineering
Software Quality Control
A Translation of the Existential Model Checking Problem from MITL to HLTL
Fundamenta Informaticae
| Hi-index | 0.01 |
The complexity of satisfiability and determination of truth in a particular finite structure are considered for different propositional linear temporal logics. It is shown that these problems are NP-complete for the logic with F and are PSPACE-complete for the logics with F, X, with U, with U, S, X operators and for the extended logic with regular operators given by Wolper.