Metabolische Hirnfunktionsstörungen in der Inneren Medizin
Metabolische Hirnfunktionsstörungen in der Inneren Medizin
Christian Madl
(ORCID: )
Disciplines
Clinical Medicine (80%); Medical-Theoretical Sciences, Pharmacy (20%)
Keywords
-
Metabol.Hirnfunktionsstörung Evozierte Potentiale Morbus Wilson Hepatische Encephalopathie Cerebrale Sauerstoffsättigung,
Cerebrale Sauerstoff,
Evozierte Potentiale,
Hepatische Encephalo,
Metabol.Hirnfunktion,
Morbus Wilson
Research institution(s)
Project participants
- Georg Grimm, associated research partner
Research Output
- 6891 Citations
- 117 Publications
Publications
-
2019
Title Efficient parameterized algorithms for data packing DOI 10.1145/3290366 Type Journal Article Author Chatterjee K Journal Proceedings of the ACM on Programming Languages Pages 1-28 Link Publication -
2019
Title Termination of Nondeterministic Probabilistic Programs DOI 10.1007/978-3-030-11245-5_22 Type Book Chapter Author Fu H Publisher Springer Nature Pages 468-490 -
2019
Title The treewidth of smart contracts DOI 10.1145/3297280.3297322 Type Conference Proceeding Abstract Author Chatterjee K Pages 400-408 Link Publication -
2019
Title Hybrid mining DOI 10.1145/3297280.3297319 Type Conference Proceeding Abstract Author Chatterjee K Pages 374-381 -
2019
Title Cost analysis of nondeterministic probabilistic programs DOI 10.1145/3314221.3314581 Type Conference Proceeding Abstract Author Wang P Pages 204-220 Link Publication -
2019
Title Population structure determines the tradeoff between fixation probability and fixation time DOI 10.1038/s42003-019-0373-y Type Journal Article Author Tkadlec J Journal Communications Biology Pages 138 Link Publication -
2018
Title New Approaches for Almost-Sure Termination of Probabilistic Programs DOI 10.1007/978-3-030-02768-1_11 Type Book Chapter Author Huang M Publisher Springer Nature Pages 181-201 -
2018
Title Secure Credit Reporting on the Blockchain DOI 10.1109/cybermatics_2018.2018.00231 Type Conference Proceeding Abstract Author Goharshady A Pages 1343-1348 -
2018
Title Quantitative Analysis of Smart Contracts DOI 10.1007/978-3-319-89884-1_26 Type Book Chapter Author Chatterjee K Publisher Springer Nature Pages 739-767 Link Publication -
2018
Title Strategy Representation by Decision Trees in Reactive Synthesis DOI 10.1007/978-3-319-89960-2_21 Type Book Chapter Author Brázdil T Publisher Springer Nature Pages 385-407 -
2018
Title Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs DOI 10.1145/3174800 Type Journal Article Author Chatterjee K Journal ACM Transactions on Programming Languages and Systems (TOPLAS) Pages 1-45 Link Publication -
2018
Title Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness DOI 10.1038/s41467-017-02721-8 Type Journal Article Author Reiter J Journal Nature Communications Pages 555 Link Publication -
2018
Title Language acquisition with communication between learners DOI 10.1098/rsif.2018.0073 Type Journal Article Author Ibsen-Jensen R Journal Journal of The Royal Society Interface Pages 20180073 Link Publication -
2018
Title Partners and rivals in direct reciprocity DOI 10.1038/s41562-018-0320-9 Type Journal Article Author Hilbe C Journal Nature Human Behaviour Pages 469-477 -
2018
Title Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components DOI 10.1145/3210257 Type Journal Article Author Chatterjee K Journal ACM Transactions on Programming Languages and Systems (TOPLAS) Pages 1-43 Link Publication -
2018
Title Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory DOI 10.1038/s42003-018-0078-7 Type Journal Article Author Pavlogiannis A Journal Communications Biology Pages 71 Link Publication -
2013
Title Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems DOI 10.1016/j.ic.2013.04.003 Type Journal Article Author Chatterjee K Journal Information and Computation Pages 83-119 Link Publication -
2013
Title Trading Performance for Stability in Markov Decision Processes DOI 10.1109/lics.2013.39 Type Conference Proceeding Abstract Author Brázdil T Pages 331-340 Link Publication -
2012
Title A survey of partial-observation stochastic parity games DOI 10.1007/s10703-012-0164-2 Type Journal Article Author Chatterjee K Journal Formal Methods in System Design Pages 268-284 -
2012
Title Energy parity games DOI 10.1016/j.tcs.2012.07.038 Type Journal Article Author Chatterjee K Journal Theoretical Computer Science Pages 49-60 Link Publication -
2012
Title Partial-Observation Stochastic Games: How to Win When Belief Fails DOI 10.1109/lics.2012.28 Type Conference Proceeding Abstract Author Chatterjee K Pages 175-184 Link Publication -
2000
Title Partial pressure of ammonia versus ammonia in hepatic encephalopathy DOI 10.1002/hep.510310107 Type Journal Article Author Kramer L Journal Hepatology Pages 30-34 Link Publication -
2014
Title A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks DOI 10.1109/rtss.2014.9 Type Conference Proceeding Abstract Author Chatterjee K Pages 118-127 Link Publication -
2016
Title Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs DOI 10.1145/2837614.2837639 Type Conference Proceeding Abstract Author Chatterjee K Pages 327-342 Link Publication -
2016
Title Algorithms for algebraic path properties in concurrent systems of constant treewidth components DOI 10.1145/2914770.2837624 Type Journal Article Author Chatterjee K Journal ACM SIGPLAN Notices Pages 733-747 -
2016
Title Reconstructing phylogenies of metastatic cancers DOI 10.1101/048157 Type Preprint Author Reiter J Pages 048157 Link Publication -
2016
Title On Recurrent Reachability for Continuous Linear Dynamical Systems DOI 10.1145/2933575.2934548 Type Conference Proceeding Abstract Author Chonev V Pages 515-524 Link Publication -
2016
Title Optimal cost almost-sure reachability in POMDPs DOI 10.1016/j.artint.2016.01.007 Type Journal Article Author Chatterjee K Journal Artificial Intelligence Pages 26-48 Link Publication -
2016
Title Quantitative Automata under Probabilistic Semantics DOI 10.1145/2933575.2933588 Type Conference Proceeding Abstract Author Chatterjee K Pages 76-85 Link Publication -
2016
Title Algorithms for algebraic path properties in concurrent systems of constant treewidth components DOI 10.1145/2837614.2837624 Type Conference Proceeding Abstract Author Chatterjee K Pages 733-747 -
2018
Title Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives DOI 10.1007/978-3-319-96142-2_13 Type Book Chapter Author Chatterjee K Publisher Springer Nature Pages 178-197 Link Publication -
2018
Title Indirect reciprocity with private, noisy, and incomplete information DOI 10.1073/pnas.1810565115 Type Journal Article Author Hilbe C Journal Proceedings of the National Academy of Sciences Pages 12241-12246 Link Publication -
2017
Title Nested Weighted Automata DOI 10.1145/3152769 Type Journal Article Author Chatterjee K Journal ACM Transactions on Computational Logic (TOCL) Pages 1-44 Link Publication -
2016
Title Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs DOI 10.1145/2914770.2837639 Type Journal Article Author Chatterjee K Journal ACM SIGPLAN Notices Pages 327-342 Link Publication -
2016
Title Termination Analysis of Probabilistic Programs Through Positivstellensatz’s DOI 10.1007/978-3-319-41528-4_1 Type Book Chapter Author Chatterjee K Publisher Springer Nature Pages 3-22 -
2019
Title Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth DOI 10.1145/3363525 Type Journal Article Author Chatterjee K Journal ACM Transactions on Programming Languages and Systems (TOPLAS) Pages 1-46 -
2019
Title Strategy Representation by Decision Trees with Linear Classifiers DOI 10.1007/978-3-030-30281-8_7 Type Book Chapter Author Ashok P Publisher Springer Nature Pages 109-128 -
2019
Title Graph Planning with Expected Finite Horizon DOI 10.1109/lics.2019.8785706 Type Conference Proceeding Abstract Author Chatterjee K Pages 1-13 Link Publication -
2019
Title Social dilemmas among unequals DOI 10.1038/s41586-019-1488-5 Type Journal Article Author Hauser O Journal Nature Pages 524-527 -
2019
Title Probabilistic Smart Contracts: Secure Randomness on the Blockchain DOI 10.1109/bloc.2019.8751326 Type Conference Proceeding Abstract Author Chatterjee K Pages 403-412 Link Publication -
2019
Title Non-polynomial Worst-Case Analysis of Recursive Programs DOI 10.1145/3339984 Type Journal Article Author Chatterjee K Journal ACM Transactions on Programming Languages and Systems (TOPLAS) Pages 1-52 Link Publication -
2019
Title Value-centric dynamic partial order reduction DOI 10.1145/3360550 Type Journal Article Author Chatterjee K Journal Proceedings of the ACM on Programming Languages Pages 1-29 Link Publication -
2019
Title Modular verification for almost-sure termination of probabilistic programs DOI 10.1145/3360555 Type Journal Article Author Huang M Journal Proceedings of the ACM on Programming Languages Pages 1-29 Link Publication -
2019
Title Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time DOI 10.1145/3371093 Type Journal Article Author Wang P Journal Proceedings of the ACM on Programming Languages Pages 1-30 Link Publication -
2020
Title Limits on amplifiers of natural selection under death-Birth updating DOI 10.1371/journal.pcbi.1007494 Type Journal Article Author Tkadlec J Journal PLOS Computational Biology Link Publication -
2020
Title Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling DOI 10.1109/tcad.2020.3012803 Type Journal Article Author Pavlogiannis A Journal IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Pages 3981-3992 -
2020
Title Polynomial invariant generation for non-deterministic recursive programs DOI 10.1145/3385412.3385969 Type Conference Proceeding Abstract Author Chatterjee K Pages 672-687 Link Publication -
2017
Title Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma DOI 10.1016/j.jtbi.2017.08.025 Type Journal Article Author Priklopil T Journal Journal of Theoretical Biology Pages 64-72 -
2017
Title JTDec: A Tool for Tree Decompositions in Soot DOI 10.1007/978-3-319-68167-2_4 Type Book Chapter Author Chatterjee K Publisher Springer Nature Pages 59-66 -
2017
Title The Complexity of Mean-Payoff Pushdown Games DOI 10.1145/3121408 Type Journal Article Author Chatterjee K Journal Journal of the ACM (JACM) Pages 1-49 -
2017
Title Stochastic invariants for probabilistic termination DOI 10.1145/3093333.3009873 Type Journal Article Author Chatterjee K Journal ACM SIGPLAN Notices Pages 145-160 Link Publication -
2017
Title Non-polynomial Worst-Case Analysis of Recursive Programs DOI 10.1007/978-3-319-63390-9_3 Type Book Chapter Author Chatterjee K Publisher Springer Nature Pages 41-63 -
2017
Title Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds DOI 10.1007/978-3-319-63387-9_6 Type Book Chapter Author Chatterjee K Publisher Springer Nature Pages 118-139 -
2017
Title Optimal Dyck reachability for data-dependence and alias analysis DOI 10.1145/3158118 Type Journal Article Author Chatterjee K Journal Proceedings of the ACM on Programming Languages Pages 1-30 Link Publication -
2017
Title Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs DOI 10.1145/3158122 Type Journal Article Author Agrawal S Journal Proceedings of the ACM on Programming Languages Pages 1-32 Link Publication -
2017
Title Data-centric dynamic partial order reduction DOI 10.1145/3158119 Type Journal Article Author Chalupa M Journal Proceedings of the ACM on Programming Languages Pages 1-30 Link Publication -
2017
Title Automated competitive analysis of real-time scheduling with graph games DOI 10.1007/s11241-017-9293-4 Type Journal Article Author Chatterjee K Journal Real-Time Systems Pages 166-207 Link Publication -
2017
Title Faster Algorithms for Weighted Recursive State Machines DOI 10.1007/978-3-662-54434-1_11 Type Book Chapter Author Chatterjee K Publisher Springer Nature Pages 287-313 -
2015
Title Probabilistic opacity for Markov decision processes DOI 10.1016/j.ipl.2014.09.001 Type Journal Article Author Bérard B Journal Information Processing Letters Pages 52-59 Link Publication -
2015
Title Looking at mean-payoff and total-payoff through windows DOI 10.1016/j.ic.2015.03.010 Type Journal Article Author Chatterjee K Journal Information and Computation Pages 25-52 Link Publication -
2015
Title Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives DOI 10.1016/j.tcs.2015.01.050 Type Journal Article Author Chatterjee K Journal Theoretical Computer Science Pages 71-89 Link Publication -
2015
Title The complexity of multi-mean-payoff and multi-energy games DOI 10.1016/j.ic.2015.03.001 Type Journal Article Author Velner Y Journal Information and Computation Pages 177-196 Link Publication -
2015
Title Temporal logic motion planning using POMDPs with parity objectives DOI 10.1145/2728606.2728617 Type Conference Proceeding Abstract Author Svorenová M Pages 233-238 -
2015
Title Measuring and Synthesizing Systems in Probabilistic Environments DOI 10.1145/2699430 Type Journal Article Author Chatterjee K Journal Journal of the ACM (JACM) Pages 1-34 Link Publication -
2015
Title Nested Weighted Automata DOI 10.1109/lics.2015.72 Type Conference Proceeding Abstract Author Chatterjee K Pages 725-737 Link Publication -
2015
Title Amplifiers of selection DOI 10.1098/rspa.2015.0114 Type Journal Article Author Adlam B Journal Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences Pages 20150114 -
2015
Title Counterexample Explanation by Learning Small Strategies in Markov Decision Processes DOI 10.1007/978-3-319-21690-4_10 Type Book Chapter Author Brázdil T Publisher Springer Nature Pages 158-177 Link Publication -
2015
Title Improved Algorithms for One-Pair and k-Pair Streett Objectives DOI 10.1109/lics.2015.34 Type Conference Proceeding Abstract Author Chatterjee K Pages 269-280 Link Publication -
2015
Title Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes DOI 10.1109/lics.2015.32 Type Conference Proceeding Abstract Author Chatterjee K Pages 244-256 Link Publication -
2015
Title Qualitative analysis of concurrent mean-payoff games DOI 10.1016/j.ic.2015.03.009 Type Journal Article Author Chatterjee K Journal Information and Computation Pages 2-24 Link Publication -
2017
Title Reconstructing metastatic seeding patterns of human cancers DOI 10.1038/ncomms14114 Type Journal Article Author Reiter J Journal Nature Communications Pages 14114 Link Publication -
2017
Title Doomsday equilibria for omega-regular games DOI 10.1016/j.ic.2016.10.012 Type Journal Article Author Chatterjee K Journal Information and Computation Pages 296-315 Link Publication -
2017
Title Trading performance for stability in Markov decision processes DOI 10.1016/j.jcss.2016.09.009 Type Journal Article Author Brázdil T Journal Journal of Computer and System Sciences Pages 144-170 Link Publication -
2017
Title Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer DOI 10.1038/ng.3764 Type Journal Article Author Makohon-Moore A Journal Nature Genetics Pages 358-366 Link Publication -
2017
Title Quantitative fair simulation games DOI 10.1016/j.ic.2016.10.006 Type Journal Article Author Chatterjee K Journal Information and Computation Pages 143-166 Link Publication -
2017
Title Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games DOI 10.1016/j.nahs.2016.04.006 Type Journal Article Author Svorenová M Journal Nonlinear Analysis: Hybrid Systems Pages 230-253 Link Publication -
2017
Title Memory-n strategies of direct reciprocity DOI 10.1073/pnas.1621239114 Type Journal Article Author Hilbe C Journal Proceedings of the National Academy of Sciences Pages 4715-4720 Link Publication -
2017
Title Hyperplane separation technique for multidimensional mean-payoff games DOI 10.1016/j.jcss.2017.04.005 Type Journal Article Author Chatterjee K Journal Journal of Computer and System Sciences Pages 236-259 Link Publication -
2017
Title Amplification on Undirected Population Structures: Comets Beat Stars DOI 10.1038/s41598-017-00107-w Type Journal Article Author Pavlogiannis A Journal Scientific Reports Pages 82 Link Publication -
2017
Title Stochastic invariants for probabilistic termination DOI 10.1145/3009837.3009873 Type Conference Proceeding Abstract Author Chatterjee K Pages 145-160 Link Publication -
2017
Title Pushdown reachability with constant treewidth DOI 10.1016/j.ipl.2017.02.003 Type Journal Article Author Chatterjee K Journal Information Processing Letters Pages 25-29 -
2016
Title The Big Match in Small Space DOI 10.1007/978-3-662-53354-3_6 Type Book Chapter Author Hansen K Publisher Springer Nature Pages 64-76 -
2015
Title Biological auctions with multiple rewards DOI 10.1098/rspb.2015.1041 Type Journal Article Author Reiter J Journal Proceedings of the Royal Society B: Biological Sciences Pages 20151041 Link Publication -
2015
Title Computational complexity of ecological and evolutionary spatial dynamics DOI 10.1073/pnas.1511366112 Type Journal Article Author Ibsen-Jensen R Journal Proceedings of the National Academy of Sciences Pages 15636-15641 Link Publication -
2012
Title The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers DOI 10.1038/nature11219 Type Journal Article Author Diaz Jr L Journal Nature Pages 537-540 Link Publication -
2011
Title Evolutionary dynamics of biological auctions DOI 10.1016/j.tpb.2011.11.003 Type Journal Article Author Chatterjee K Journal Theoretical Population Biology Pages 69-80 Link Publication -
2015
Title Quantitative Temporal Simulation and Refinement Distances for Timed Systems DOI 10.1109/tac.2015.2404612 Type Journal Article Author Chatterjee K Journal IEEE Transactions on Automatic Control Pages 2291-2306 -
2015
Title Tight Cutoffs for Guarded Protocols with Fairness DOI 10.1007/978-3-662-49122-5_23 Type Book Chapter Author Außerlechner S Publisher Springer Nature Pages 476-494 -
2015
Title CEGAR for compositional analysis of qualitative properties in Markov decision processes DOI 10.1007/s10703-015-0235-2 Type Journal Article Author Chatterjee K Journal Formal Methods in System Design Pages 230-264 -
2015
Title Mutations driving CLL and their evolution in progression and relapse DOI 10.1038/nature15395 Type Journal Article Author Landau D Journal Nature Pages 525-530 Link Publication -
2015
Title Cellular cooperation with shift updating and repulsion DOI 10.1038/srep17147 Type Journal Article Author Pavlogiannis A Journal Scientific Reports Pages 17147 Link Publication -
2015
Title POMDPs under probabilistic semantics DOI 10.1016/j.artint.2014.12.009 Type Journal Article Author Chatterjee K Journal Artificial Intelligence Pages 46-72 Link Publication -
2015
Title Controller Synthesis for MDPs and Frequency LTL DOI 10.1007/978-3-662-48899-7_12 Type Book Chapter Author Forejt V Publisher Springer Nature Pages 162-177 -
2015
Title Evolution of Decisions in Population Games with Sequentially Searching Individuals DOI 10.3390/g6040413 Type Journal Article Author Priklopil T Journal Games Pages 413-437 Link Publication -
2015
Title Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games DOI 10.1145/2728606.2728608 Type Conference Proceeding Abstract Author Svorenová M Pages 259-268 Link Publication -
2015
Title Randomness for free DOI 10.1016/j.ic.2015.06.003 Type Journal Article Author Chatterjee K Journal Information and Computation Pages 3-16 Link Publication -
2012
Title Mean-Payoff Pushdown Games DOI 10.1109/lics.2012.30 Type Conference Proceeding Abstract Author Chatterjee K Pages 195-204 Link Publication -
2012
Title Interpretations in Trees with Countably Many Branches DOI 10.1109/lics.2012.65 Type Conference Proceeding Abstract Author Rabinovich A Pages 551-560 Link Publication -
2012
Title The effect of one additional driver mutation on tumor progression DOI 10.1111/eva.12020 Type Journal Article Author Reiter J Journal Evolutionary Applications Pages 34-45 Link Publication -
2012
Title Evolutionary game dynamics in populations with different learners DOI 10.1016/j.jtbi.2012.02.021 Type Journal Article Author Chatterjee K Journal Journal of Theoretical Biology Pages 161-173 Link Publication -
2012
Title The complexity of stochastic Müller games DOI 10.1016/j.ic.2011.11.004 Type Journal Article Author Chatterjee K Journal Information and Computation Pages 29-48 Link Publication -
2012
Title Decidable Problems for Probabilistic Automata on Infinite Words DOI 10.1109/lics.2012.29 Type Conference Proceeding Abstract Author Chatterjee K Pages 1-4 Link Publication -
2014
Title The Time Scale of Evolutionary Innovation DOI 10.1371/journal.pcbi.1003818 Type Journal Article Author Chatterjee K Journal PLoS Computational Biology Link Publication -
2014
Title Partial-Observation Stochastic Games DOI 10.1145/2579821 Type Journal Article Author Chatterjee K Journal ACM Transactions on Computational Logic (TOCL) Pages 1-44 -
2014
Title Edit distance for timed automata DOI 10.1145/2562059.2562141 Type Conference Proceeding Abstract Author Chatterjee K Pages 303-312 -
2013
Title Evolutionary dynamics of cancer in response to targeted combination therapy DOI 10.7554/elife.00747 Type Journal Article Author Bozic I Journal eLife Link Publication -
2013
Title Forgiver Triumphs in Alternating Prisoner's Dilemma DOI 10.1371/journal.pone.0080814 Type Journal Article Author Zagorsky B Journal PLoS ONE Link Publication -
2013
Title Density games DOI 10.1016/j.jtbi.2013.05.029 Type Journal Article Author Novak S Journal Journal of Theoretical Biology Pages 26-34 Link Publication -
2013
Title Strategy improvement for concurrent reachability and turn-based stochastic safety games DOI 10.1016/j.jcss.2012.12.001 Type Journal Article Author Chatterjee K Journal Journal of Computer and System Sciences Pages 640-657 Link Publication -
2014
Title Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition DOI 10.1145/2597631 Type Journal Article Author Chatterjee K Journal Journal of the ACM (JACM) Pages 1-40 -
2014
Title Approximating the minimum cycle mean DOI 10.1016/j.tcs.2014.06.031 Type Journal Article Author Chatterjee K Journal Theoretical Computer Science Pages 104-116 Link Publication -
2014
Title Interface simulation distances DOI 10.1016/j.tcs.2014.08.019 Type Journal Article Author Cerný P Journal Theoretical Computer Science Pages 348-363 Link Publication -
2011
Title Temporal Specifications with Accumulative Values DOI 10.1109/lics.2011.33 Type Conference Proceeding Abstract Author Boker U Pages 43-52 -
2011
Title The Complexity of Quantitative Information Flow Problems DOI 10.1109/csf.2011.21 Type Conference Proceeding Abstract Author Cerný P Pages 205-217 -
2011
Title Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes DOI 10.1109/lics.2011.10 Type Conference Proceeding Abstract Author Brázdil T Pages 33-42 Link Publication -
2013
Title Strategy synthesis for multi-dimensional quantitative objectives DOI 10.1007/s00236-013-0182-6 Type Journal Article Author Chatterjee K Journal Acta Informatica Pages 129-163 Link Publication -
2013
Title Synthesizing robust systems DOI 10.1007/s00236-013-0191-5 Type Journal Article Author Bloem R Journal Acta Informatica Pages 193-220