Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Taolue Chen
A Computationally Grounded, Weighted Doxastic Logic
Studia Logica
Philosophy of Science
Logic
History
Time-Bounded Verification of CTMCs Against Real-Time Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Android Stack Machine
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Road Tracking Using Deep Reinforcement Learning for Self-Driving Car Applications
Advances in Intelligent Systems and Computing
Control
Systems Engineering
Computer Science
Model Repair for Markov Decision Processes
DRONE: A Tool to Detect and Repair Directive Defects in Java APIs Documentation
A Proof-Theoretic Trust and Reputation Model for VANET
On Finite Alphabets and Infinite Bases
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Axiomatizability of Priority
BRICS Report Series