A characterisation of open bisimilarity using an intuitionistic modal logic by Ahrn, Ki Yung, Horne, Ross, Tiu, Alwen

Subjects: “…Bisimulation…”
Get full text
Get full text

Design Research in Cyber-Physical Systems through Weak-Bisimulation by Roy Mccann, Khalid Rahman

Subjects: Get full text

Bisimulation for component-based development by Elsa Clara Estévez, Pablo Rubén Fillottrani

Subjects: Get full text

Structural Summarization of Semantic Graphs Using Quotients by Scherp, Ansgar, Richerby, David, Blume, Till, Cochez, Michael, Rau, Jannik

Subjects: Get full text

A Verified Algebra for Read-Write Linked Data by Horne, Ross, Sassone, Vladimiro

Subjects: Get full text
Get full text

Neighbourhood Semantics for Graded Modal Logic by Jinsheng Chen, Hans van Ditmarsch, Giuseppe Greco, Apostolos Tzimoulis

Subjects: Get full text

Polyprograms and Polyprogram Bisimulation by Sergei Grechanik

Subjects: Get full text

Extensional quotient coalgebras by Mavoungou Jean-Paul

Subjects: “…bisimulation…”
Get full text

Toward Reliable Programmable Logic Controller Function Block Diagrams by Jianyong Zhao, Zhe Tao

Subjects: “…Bisimulation…”
Get full text

Fuzzy Automata as Coalgebras by Ai Liu, Shun Wang, Luis Soares Barbosa, Meng Sun

Subjects: Get full text

Simultaneous Method for Solving Certain Systems of Matrix Equations with Two Unknowns by Predrag S. Stanimirović, Miroslav Ćirić, Spyridon D. Mourtas, Gradimir V. Milovanović, Milena J. Petrović

Subjects: Get full text

Program Equivalence in the Erlang Actor Model by Péter Bereczky, Dániel Horpácsi, Simon Thompson

Subjects: Get full text

Interpolation Property on Visser's Formal Propositional Logic by Majid Alizadeh, Masoud Memarzadeh

Subjects: Get full text

Heuristic Sarsa algorithm based on value function transfer by Jianping CHEN, Zhengxia YANG, Quan LIU, Hongjie WU, Yang XU, Qiming FU

Subjects: Get full text

Heuristic Sarsa algorithm based on value function transfer by Jianping CHEN, Zhengxia YANG, Quan LIU, Hongjie WU, Yang XU, Qiming FU

Subjects: “…reinforcement learning;value function transfer;bisimulation metric;variational Bayes…”
Get full text

Bisimulation for Secure Information Flow Analysis of Multi-Threaded Programs by Ali A. Noroozi, Jaber Karimpour, Ayaz Isazadeh

Subjects: Get full text

Approximating Bisimulation in One-counter Nets by V. A. Bashkin

Subjects: Get full text

Isomorphism Theorems for Coalgebras by Mavoungou Jean-Paul

Subjects: Get full text

Enhanced deep deterministic policy gradient algorithm by Jianping CHEN, Chao HE, Quan LIU, Hongjie WU, Fuyuan HU, Qiming FU

Subjects: Get full text

Enhanced deep deterministic policy gradient algorithm by Jianping CHEN, Chao HE, Quan LIU, Hongjie WU, Fuyuan HU, Qiming FU

Subjects: “…deep reinforcement learning;sample ranking;bisimulation metric;temporal difference error…”
Get full text