| Publication | Date of Publication | Type |
|---|
SAT-based bounded model checking for propositional projection temporal logic
Theoretical Computer Science | 2025-07-21 | Paper |
On the exploitation of control knowledge for enhancing automated planning
Information Sciences | 2025-01-16 | Paper |
Improved SARSA and DQN algorithms for reinforcement learning
Theoretical Computer Science | 2025-01-08 | Paper |
| A dynamic parameter adaptive path planning algorithm | 2024-09-16 | Paper |
| An approach to agent path planning under temporal logic constraints | 2024-08-22 | Paper |
A novel approach to verifying context free properties of programs
Algorithmic Aspects in Information and Management | 2023-10-16 | Paper |
| Transforming multi-matching nested traceable automata to multi-matching nested expressions | 2023-03-21 | Paper |
A proof system for unified temporal logic
Theoretical Computer Science | 2023-02-24 | Paper |
PPTL specification mining based on LNFG
Theoretical Computer Science | 2022-10-24 | Paper |
| \textsc{LtlNfBa}: making LTL translation more practical | 2021-05-20 | Paper |
A proof system for MSVL programs in Coq
Structured Object-Oriented Formal Language and Method | 2021-05-20 | Paper |
Unified temporal logic
Theoretical Computer Science | 2021-04-08 | Paper |
Multi-matching nested relations
Theoretical Computer Science | 2021-01-25 | Paper |
Verify heaps via unified model checking
Theoretical Computer Science | 2020-04-08 | Paper |
Translating Xd-C programs to MSVL programs
Theoretical Computer Science | 2020-01-29 | Paper |
A novel approach to verifying context free properties of programs
Theoretical Computer Science | 2020-01-29 | Paper |
Model checking Petri nets with MSVL
Information Sciences | 2019-12-13 | Paper |
Index set expressions can represent temporal logic formulas
Theoretical Computer Science | 2019-08-09 | Paper |
A temporal logic programming approach to planning
Journal of Combinatorial Optimization | 2019-06-25 | Paper |
Verifying a scheduling protocol of safety-critical systems
Journal of Combinatorial Optimization | 2019-06-25 | Paper |
Model checking open systems with alternating projection temporal logic
Theoretical Computer Science | 2019-06-25 | Paper |
| Modeling and analysis of nested interrupt systems | 2019-02-22 | Paper |
A compiler for MSVL and its applications
Theoretical Computer Science | 2018-12-05 | Paper |
| Modeling and verifying multi-core programs | 2018-03-26 | Paper |
| Cloning automata: simulation and analysis of computer bacteria | 2018-02-26 | Paper |
On general threshold and general cascade models of social influence
Journal of Combinatorial Optimization | 2018-02-21 | Paper |
Using unified model checking to verify heaps
Combinatorial Optimization and Applications | 2017-02-01 | Paper |
A mechanism of function calls in MSVL
Theoretical Computer Science | 2016-11-24 | Paper |
Checking satisfiability of two-dimensional logic PPTL\(^{\mathrm{SL}}\)
Journal of Software | 2016-10-06 | Paper |
Satisfiability of linear time mu-calculus on finite traces
Lecture Notes in Computer Science | 2016-09-02 | Paper |
Verifying safety critical task scheduling systems in PPTL axiom system
Journal of Combinatorial Optimization | 2016-02-23 | Paper |
Symbolic model checking for alternating projection temporal logic
Combinatorial Optimization and Applications | 2016-02-05 | Paper |
Improved even order magic square construction algorithms and their applications in multi-user shared electronic accounts
Theoretical Computer Science | 2015-12-11 | Paper |
A canonical form based decision procedure and model checking approach for propositional projection temporal logic
Theoretical Computer Science | 2015-12-11 | Paper |
A complete axiom system for propositional projection temporal logic with cylinder computation model
Theoretical Computer Science | 2015-12-11 | Paper |
Model Checking MSVL Programs Based on Dynamic Symbolic Execution
Lecture Notes in Computer Science | 2015-10-29 | Paper |
Improved even order magic square construction algorithms and their applications
Combinatorial Optimization and Applications | 2015-09-11 | Paper |
An extended strange planet protocol
Journal of Combinatorial Optimization | 2015-07-28 | Paper |
A structural transformation from p- to MSVL
Journal of Combinatorial Optimization | 2015-07-10 | Paper |
Transformation from PLTL to automata via NFGs
Journal of Combinatorial Optimization | 2015-02-16 | Paper |
A formal proof of the deadline driven scheduler in PPTL axiomatic system
Theoretical Computer Science | 2014-10-06 | Paper |
A practical decision procedure for propositional projection temporal logic with infinite models
Theoretical Computer Science | 2014-10-06 | Paper |
An axiomatization for cylinder computation model
Lecture Notes in Computer Science | 2014-09-26 | Paper |
Normal form expressions of propositional projection temporal logic
Lecture Notes in Computer Science | 2014-09-26 | Paper |
| scientific article; zbMATH DE number 6300110 (Why is no real title available?) | 2014-06-03 | Paper |
Secure communications with strange planet protocol
Optimization Letters | 2014-03-14 | Paper |
A cylinder computation model for many-core parallel computing
Theoretical Computer Science | 2014-01-10 | Paper |
An extended strange planet protocol
Combinatorial Optimization and Applications | 2013-12-10 | Paper |
Some fixed-point issues in PPTL
Theories of Programming and Formal Methods | 2013-08-16 | Paper |
Deternimization of Büchi automata as partitioned automata
Lecture Notes in Computer Science | 2013-06-11 | Paper |
Bounded model checking for propositional projection temporal logic
Lecture Notes in Computer Science | 2013-06-11 | Paper |
An efficient approach for abstraction-refinement in model checking
Theoretical Computer Science | 2012-11-27 | Paper |
Making abstraction-refinement efficient in model checking
Lecture Notes in Computer Science | 2011-08-17 | Paper |
Expressiveness of propositional projection temporal logic with star
Theoretical Computer Science | 2011-04-05 | Paper |
A transformation from PPTL to S1S
Combinatorial Optimization and Applications | 2011-01-10 | Paper |
A note on stutter-invariant PLTL
Information Processing Letters | 2010-08-20 | Paper |
Complexity of propositional projection temporal logic with star
Mathematical Structures in Computer Science | 2009-03-24 | Paper |
Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions
Lecture Notes in Computer Science | 2008-05-27 | Paper |
A decision procedure for propositional projection temporal logic with infinite models
Acta Informatica | 2008-04-03 | Paper |
Decidability of Propositional Projection Temporal Logic with Infinite Models
Lecture Notes in Computer Science | 2007-11-13 | Paper |
