Search results
From MaRDI portal
- with data for probabilistic automata 2012-03-13 Paper Observing Continuous-Time MDPs by 1-Clock Timed Automata 2011-10-07 Paper Hierarchical Counterexamples...10 bytes (19 words) - 01:51, 9 December 2023
- Decision Questions for Probabilistic Automata on Small Alphabets 2024-01-16 Paper Decision Questions for Probabilistic Automata on Small Alphabets 2023-08-08...10 bytes (18 words) - 11:14, 11 December 2023
- 2014-06-02 Paper Stuttering for abstract probabilistic automata 2014-02-25 Paper Abstract probabilistic automata 2013-12-13 Paper Robust synthesis for real-time...10 bytes (19 words) - 09:59, 8 December 2023
- Controller synthesis for dynamic hierarchical real-time plants using timed automata 2018-01-31 Paper Timed I/O automata 2017-05-10 Paper https://portal...10 bytes (16 words) - 11:17, 11 December 2023
- 2011-01-21 Paper Weak bisimulation for probabilistic timed automata 2010-11-19 Paper Reachability results for timed automata with unbounded data structures 2010-10-08...10 bytes (18 words) - 23:39, 9 December 2023
- Coins, Covid, Keynes and K-shaped recovery 2022-06-01 Paper Cancer hybrid automata: model, beliefs and therapy 2014-06-06 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 08:30, 13 December 2023
- Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata 2014-02-11 Paper https://portal.mardi4nfdi.de/entity/Q2848073...10 bytes (16 words) - 23:52, 12 December 2023
- sprawl using geographic automata 2016-05-10 Paper Uncertainty quantification for Markov chain models 2015-09-02 Paper Hierarchical Schur complement preconditioner...10 bytes (19 words) - 16:18, 9 December 2023
- act: a neuro-symbolic hierarchical reinforcement learning framework 2022-08-10 Paper Induction and Exploitation of Subgoal Automata for Reinforcement Learning...10 bytes (18 words) - 02:32, 11 December 2023
- of programs on hierarchical nominative data 2018-07-03 Paper Nominative data with ordered set of names 2018-07-03 Paper Finite automata over magmas: models...10 bytes (18 words) - 01:20, 10 December 2023
- Paper On the learnability and usage of acyclic probabilistic finite automata 1998-11-10 Paper The hierarchical hidden Markov model: Analysis and applications...10 bytes (17 words) - 14:47, 9 December 2023
- stochastic automata with urgency: confluence and weak determinism 2018-11-23 Paper A hierarchy of scheduler classes for stochastic automata 2018-07-17...10 bytes (18 words) - 02:17, 9 December 2023
- Set Programming 2023-12-12 Paper Induction and Exploitation of Subgoal Automata for Reinforcement Learning 2021-03-26 Paper The complexity and generality...10 bytes (17 words) - 02:43, 9 December 2023
- weighted and probabilistic automata over bounded languages 2019-12-18 Paper On the decidability and complexity of problems for restricted hierarchical hybrid...10 bytes (16 words) - 05:37, 7 October 2023
- Power of Finite Automata with both Nondeterministic and Probabilistic States 1998-05-10 Paper On Approximation Algorithms for Hierarchical MAX-SAT 1998-03-31...10 bytes (18 words) - 01:13, 10 December 2023
- resource allocation system 2006-05-23 Paper Automata, Languages and Programming 2006-01-10 Paper PROBABILISTIC ANALYSIS FOR DISCRETE ATTRIBUTES OF MOVING...10 bytes (16 words) - 01:28, 9 December 2023
- Equivalence between Mizumoto Lattice Finite Automata 2011-03-02 Paper Lattice Minimal Automata and Lattice Reduced Automata 2011-03-02 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 19:31, 8 December 2023
- Paper On the learnability and usage of acyclic probabilistic finite automata 1998-11-10 Paper The hierarchical hidden Markov model: Analysis and applications...10 bytes (16 words) - 19:23, 9 December 2023
- 2011-07-01 Paper Weak bisimulation for probabilistic timed automata 2010-11-19 Paper Reachability results for timed automata with unbounded data structures 2010-10-08...10 bytes (17 words) - 15:14, 6 October 2023
- Date of Publication Type Symbolic register automata 2024-02-16 Paper Efficient synthesis with probabilistic constraints 2024-02-16 Paper Proving unrealizability...10 bytes (16 words) - 05:36, 7 October 2023
