Cancer hybrid automata: model, beliefs and therapy

DOI10.1016/j.ic.2014.01.013zbMath1311.92106OpenAlexW2017054113MaRDI QIDQ2453217

Andreas Witzel, Loes Olde Loohuis, Bud Mishra

Publication date: 6 June 2014

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2014.01.013

zbMATH Keywords

hybrid automatacontroller synthesistestsbeliefcancer progressionautomatic therapy design

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Medical applications (general) (92C50)

Related Items (1)

Cancer hybrid automata: model, beliefs and therapy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model-checking in dense real-time
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Discrete-time control for rectangular hybrid automata
• Cancer hybrid automata: model, beliefs and therapy
• Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Logistic Regression, Survival Analysis, and the Kaplan-Meier Curve
• On the synthesis of discrete controllers for timed systems

This page was built for publication: Cancer hybrid automata: model, beliefs and therapy