Bingtian Xue

Available identifiers

zbMath Open xue.bingtianMaRDI QIDQ283761

List of research outcomes

Publication	Date of Publication	Type
On decidability of recursive weighted logics	2018-10-22	Paper
A complete approximation theory for weighted transition systems	2018-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q3174943	2018-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q4636572	2018-04-19	Paper
Alternation-free weighted mu-calculus: decidability and completeness	2016-12-16	Paper
Adequacy and complete axiomatization for timed modal logic	2016-05-13	Paper
Decidability and Expressiveness of Recursive Weighted Logic	2015-12-03	Paper
Concurrent weighted logic	2015-11-10	Paper
A Decidable Recursive Logic for Weighted Transition Systems	2015-01-13	Paper

Research outcomes over time

This page was built for person: Bingtian Xue