Deciding Fast Termination for Probabilistic VASS with Nondeterminism von Brázdil, Tomáš, Chatterjee, Krishnendu, Kučera, Antonín, Novotný, Petr, Velan, Dominik

Volltext

Deciding Fast Termination for Probabilistic VASS with Nondeterminism von Brázdil, Tomáš, Chatterjee, Krishnendu, Kučera, Antonín, Novotný, Petr, Velan, Dominik

Volltext bestellen

Efficient Algorithms for Checking Fast Termination in VASS von Brázdil, Tomáš, Chatterjee, Krishnendu, Kučera, Antonín, Novotný, Petr, Velan, Dominik

Volltext bestellen

Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS von Brázdil, Tomáš, Chatterjee, Krishnendu, Kučera, Antonín, Novotný, Petr, Velan, Dominik, Zuleger, Florian

Volltext bestellen

Deciding Fast Termination for Probabilistic VASS with Nondeterminism von Brázdil, Tomáš, Chatterjee, Krishnendu, Kučera, Antonín, Novotný, Petr, Velan, Dominik

Volltext

Efficient Algorithms for Checking Fast Termination in VASS von Brázdil, Tomáš, Chatterjee, Krishnendu, Kučera, Antonín, Novotný, Petr, Velan, Dominik

Volltext

Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS von Brázdil, Tomáš, Chatterjee, Krishnendu, Kučera, Antonín, Novotný, Petr, Velan, Dominik, Zuleger, Florian

Volltext

Abstract 1129: How to develop ACC1 inhibitors targeting lipid metabolism and oncogenic signaling pathways effectively and safely von Liu, Ningshu, Bone, Wilhelm, Velan, Sendhil S., Doddapuneni, Krishnarao, Yaligar, Jadegoud, Thede, Kai Thede, Moenning, Ursula, Shi, Xiaohe, Tian, Xianfeng, Petrova1, Elissaveta, Nussbaum, Franz von, Mumberg, Dominik, Brands, Michael, Ziegelbauer, Karl

Volltext