I agree that this site is using cookies. You can find further informations here.
X
Martin, Edi
6  results:
Bookchapter (Online) X
Search for persons X
?
1

Siedlung Murifeld in Bern – Erfahrungen mit nachhaltiger Si..:

, In: Soziale Arbeit und Stadtentwicklung,
Martin, Edi ; Brönnimann, Bettina ; Wyss, Stefan.. - p. 371-397 , 2013
Link: https://doi.org/10.1007/..
 
?
2

Reinforcement Learning Under Partial Observability Guided b..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Muškardin, Edi ; Tappler, Martin ; Aichernig, Bernhard K.. - p. 257-276 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Automata Learning Meets Shielding:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,
Tappler, Martin ; Pranger, Stefan ; Könighofer, Bettina... - p. 335-359 , 2022
Link: https://doi.org/10.1007/..
 
?
4

Learning Finite State Models from Recurrent Neural Networks:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Muškardin, Edi ; Aichernig, Bernhard K. ; Pill, Ingo. - p. 229-248 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Active Model Learning of Stochastic Reactive Systems:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
Tappler, Martin ; Muškardin, Edi ; Aichernig, Bernhard K.. - p. 481-500 , 2021
Link: https://doi.org/10.1007/..
 
?
6

AALpy: An Active Automata Learning Library:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Muškardin, Edi ; Aichernig, Bernhard K. ; Pill, Ingo.. - p. 67-73 , 2021
Link: https://doi.org/10.1007/..
 
1-6